Compare commits
7 Commits
271e7f4519
...
3b6ae36e4e
Author | SHA1 | Date |
---|---|---|
rhiannon morris | 3b6ae36e4e | |
rhiannon morris | 861bd55f94 | |
rhiannon morris | e6ad16813e | |
rhiannon morris | 78555711ce | |
rhiannon morris | ec839a1d48 | |
rhiannon morris | 727f968afb | |
rhiannon morris | 41c8a92c97 |
27
quox.bib
27
quox.bib
|
@ -20,7 +20,7 @@
|
|||
@article{granule,
|
||||
author = {Dominic Orchard and Vilem{-}Benjamin Liepelt and Harley Eades III},
|
||||
title = {Quantitative program reasoning with graded modal types},
|
||||
journal = {Proceedings of the ACM on Programming Languages},
|
||||
journal = {Proceedings of the {ACM} on Programming Languages},
|
||||
volume = {3},
|
||||
number = {{ICFP}},
|
||||
pages = {110:1--110:30},
|
||||
|
@ -198,7 +198,7 @@
|
|||
number = {POPL},
|
||||
url = {https://doi.org/10.1145/3498670},
|
||||
doi = {10.1145/3498670},
|
||||
journal = {Proc. ACM Program. Lang.},
|
||||
journal = {Proc. {ACM} Program. Lang.},
|
||||
month = {jan},
|
||||
articleno = {9},
|
||||
numpages = {31},
|
||||
|
@ -239,7 +239,7 @@
|
|||
for universe levels based on displacement algebras, for use in proof
|
||||
assistant implementations.
|
||||
},
|
||||
journal = {Proc. ACM Program. Lang.},
|
||||
journal = {Proc. {ACM} Program. Lang.},
|
||||
month = {jan},
|
||||
articleno = {57},
|
||||
numpages = {27},
|
||||
|
@ -362,9 +362,9 @@
|
|||
date = {2019-07},
|
||||
doi = {10.1145/3341711},
|
||||
issn = {2475-1421},
|
||||
journaltitle = {Proceedings of the ACM on Programming Languages},
|
||||
journaltitle = {Proceedings of the {ACM} on Programming Languages},
|
||||
keywords = {Modal types,dependent types,normalization by evaluation,type-checking},
|
||||
number = {ICFP},
|
||||
number = {{ICFP}},
|
||||
pages = {107:1--107:29},
|
||||
title = {Implementing a Modal Dependent Type Theory},
|
||||
volume = {3},
|
||||
|
@ -389,7 +389,7 @@
|
|||
@article{defunc,
|
||||
author = {Yulong Huang and Jeremy Yallop},
|
||||
title = {Defunctionalization with Dependent Types},
|
||||
journal = {Proceedings of the ACM on Programming Languages},
|
||||
journal = {Proceedings of the {ACM} on Programming Languages},
|
||||
volume = {7},
|
||||
number = {{PLDI}},
|
||||
pages = {516--538},
|
||||
|
@ -397,3 +397,18 @@
|
|||
url = {https://doi.org/10.1145/3591241},
|
||||
doi = {10.1145/3591241},
|
||||
}
|
||||
|
||||
@inproceedings{delcont-callcc,
|
||||
author = {Martin Gasbichler and Michael Sperber},
|
||||
editor = {Mitchell Wand and Simon L. Peyton Jones},
|
||||
title = {Final shift for \texttt{call/cc}:
|
||||
direct implementation of shift and reset},
|
||||
journaltitle = {Proceedings of the {ACM} on Programming Languages},
|
||||
number = {{ICFP}},
|
||||
pages = {271--282},
|
||||
publisher = {{ACM}},
|
||||
year = {2002},
|
||||
% url = {https://doi.org/10.1145/581478.581504},
|
||||
url = {https://www.cs.tufts.edu/~nr/cs257/archive/mike-sperber/shift-reset-direct.pdf},
|
||||
doi = {10.1145/581478.581504},
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue