John Reppy
University of Chicago
H-index: 36
North America-United States
Top articles of John Reppy
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Analyzing binding extent in 3CPS | Proceedings of the ACM on Programming Languages | Benjamin Quiring John Reppy Olin Shivers | 2022/8/29 |
3CPS: The Design of an Environment-Focussed Intermediate Representation | Benjamin Quiring John Reppy Olin Shivers | 2021/9/1 | |
A new backend for Standard ML of New Jersey | Kavon Farvardin John Reppy | 2020/9/2 | |
The history of Standard ML | Proceedings of the ACM on Programming Languages | David MacQueen Robert Harper John Reppy | 2020/6/12 |
From folklore to fact: comparing implementations of stacks and continuations | Kavon Farvardin John Reppy | 2020/6/11 | |
Quantum Hoare type theory | arXiv preprint arXiv:2012.02154 | Kartik Singhal | 2020/12/3 |