10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 10 cited
flap: A Deterministic Parser with Fused Lexing
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
Lexers and parsers are typically defined separately and connected by a token stream. This separate definition is important for modularity and reduces the potential for parsing ambi…
cs.PL2023
Defunctionalization with Dependent Types
Yulong Huang, Jeremy Yallop
The defunctionalization translation that eliminates higher-order functions from programs forms a key part of many compilers. However, defunctionalization for dependently-typed lang…