Neel Krishnaswami
- 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
- Implicit Polarized F: local type inference for impredicativity
2022/03/03 by Henry Mercer, Mercer, Henry, Cameron Ramsay +3 · 2 citations
Computer Science · #Artificial intelligence #Computer science #Data type #Decidability #FOS: Computer and information sciences #Functional programming #Haskell #Heuristics #Inference #Lambda calculus #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL) #Programming language #Simple (philosophy) #Software Engineering Research #System F #Theoretical computer science #Type (biology) #Type inference #USable #Undecidable problem #Unification #cs.LO #cs.PL
- The Denotational Semantics of SSA
2024/11/14 by Jad Elkhaleq Ghalayini, Neel Krishnaswami, Ghalayini, Jad Elkhaleq +1 · 1 voice
Computer Science · #cs.PL #cs.LO
- Adjoint Reactive GUI
2020/10/23 by Christian Uldal Graulund, Graulund, Christian Uldal, Dmitrij Szamozvancev +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.PL
- Bidirectional Typing
2019/08/16 by Jana Dunfield, Neel Krishnaswami · 1 voice
Computer Science · #Annotation #Artificial intelligence #Biology #Computer science #Decidability #Inference #Logic, programming, and type systems #Natural Language Processing Techniques #Programming language #Software Engineering Research #Speech recognition #Theoretical computer science #Type (biology) #Type inference #Typing #Undecidable problem #cs.LO #cs.PL