文件列表:

icfp17/ (0, 2018-07-25)
icfp17/ACM-Reference-Format.bst (92415, 2018-07-25)
icfp17/acmart.cls (69848, 2018-07-25)
icfp17/icfp17-rebuttal.txt (20732, 2018-07-25)
icfp17/icfp17-reviews.txt (17002, 2018-07-25)
icfp17/icfp17-supplement.pdf (618253, 2018-07-25)
icfp17/syntax-icfp17-submission.pdf (797511, 2018-07-25)
icfp17/syntax-icfp17.tex (222094, 2018-07-25)
icfp18/ (0, 2018-07-25)
icfp18/ACM-Reference-Format.bst (83571, 2018-07-25)
icfp18/acmart.cls (87213, 2018-07-25)
icfp18/artifact-reviews.txt (6504, 2018-07-25)
icfp18/macros.tex (40274, 2018-07-25)
icfp18/mathpartir.sty (15251, 2018-07-25)
icfp18/omar-icfp18-final.pdf (586285, 2018-07-25)
icfp18/rebuttal.txt (3116, 2018-07-25)
icfp18/research.bib (223243, 2018-07-25)
icfp18/response-phase-2.txt (596, 2018-07-25)
icfp18/reviews.txt (14679, 2018-07-25)
icfp18/supplement/ (0, 2018-07-25)
icfp18/supplement/appendix.tex (611163, 2018-07-25)
icfp18/supplement/cmu-titlepage2.sty (7643, 2018-07-25)
icfp18/supplement/cmuthesis.cls (7176, 2018-07-25)
icfp18/supplement/conclusion.tex (39219, 2018-07-25)
icfp18/supplement/existing-approaches.tex (85959, 2018-07-25)
icfp18/supplement/icfp17-supplement.tex (7908, 2018-07-25)
icfp18/supplement/icfp18-supplement.pdf (395594, 2018-07-25)
icfp18/supplement/icfp18-supplement.tex (25801, 2018-07-25)
icfp18/supplement/intro.tex (77186, 2018-07-25)
icfp18/supplement/listproc.sty (10412, 2018-07-25)
icfp18/supplement/macros.tex (40227, 2018-07-25)
icfp18/supplement/mathpartir.sty (15251, 2018-07-25)
icfp18/supplement/motivating-examples.tex (25392, 2018-07-25)
icfp18/supplement/omar-thesis.tex (25922, 2018-07-25)
icfp18/supplement/pfsteps.sty (8442, 2018-07-25)
icfp18/supplement/popl18-supplement.tex (18095, 2018-07-25)
icfp18/supplement/preliminaries.tex (2432, 2018-07-25)
icfp18/supplement/ptsms.tex (91723, 2018-07-25)
... ...

# ptsms-paper Reasonably Programmable Literal Notation (paper based on my dissertation work, with some extensions)

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：