Jeremy Yallop
- flap: A Deterministic Parser with Fused Lexing
2023/04/11 by Jeremy Yallop, Ningning Xie, Neel Krishnaswami · 3 voices
Computer Science · #Natural Language Processing Techniques #Algorithms and Data Compression #semigroups and automata theory
- Defunctionalization with Dependent Types
2023/04/10 by Yulong Huang, Jeremy Yallop, Huang, Yulong +1 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.PL