Krishnaswami, Neel

1. Implicit Polarized F: local type inference for impredicativity
   2022/03/03 by Mercer, Henry, Ramsay, Cameron, Krishnaswami, Neel · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. The Denotational Semantics of SSA
   2024/11/14 by Jad Elkhaleq Ghalayini, Ghalayini, Jad Elkhaleq, Neel Krishnaswami +1 · 1 voice
   Computer Science · #cs.PL #cs.LO
3. 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)