Follow
Kyle Headley
Title
Cited by
Cited by
Year
Incremental computation with names
MA Hammer, J Dunfield, K Headley, N Labich, JS Foster, M Hicks, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
532015
A DSL embedded in Rust
K Headley
Proceedings of the 30th Symposium on Implementation and Application of …, 2018
42018
The random access zipper: Simple, purely-functional sequences
K Headley, MA Hammer
arXiv preprint arXiv:1608.06009, 2016
22016
Fungi: Typed incremental computation with names
MA Hammer, J Dunfield, K Headley, M Narasimhamurthy, DJ Economou
arXiv preprint arXiv:1808.07826, 2018
12018
Visualizing Abstract Abstract Machines
K HEADLEY, C REN, K MICINSKI, T GILRAY
12018
C to Checked C by 3C
A Machiry, J Kastner, M McCutchen, A Eline, K Headley, M Hicks
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022
2022
The Random Access Zipper
K Headley, MA Hammer
International Symposium on Trends in Functional Programming, 155-171, 2016
2016
Extracting single-function CFGs from an AAM analysis
K HEADLEY
Simplifying incremental code with IODyn
K HEADLEY
Tuning Data and Control Structures for Incremental Computation
K Headley
Space and Time Optimizations In Adapton
K Headley
Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations
K Headley, MA Hammer
Nominal Adapton: Incremental Computation with First-Class Names
MA Hammer, J Dunfield, K Headley, JS Foster, M Hicks
The system can't perform the operation now. Try again later.
Articles 1–13