Neel Krishnaswami
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 19
Publications (10 Years): 19
Publications
- Jad Elkhaleq Ghalayini, Neel Krishnaswami
- Jeremy Yallop, Ningning Xie, Neel Krishnaswami
- Jeremy Yallop, Ningning Xie, Neel Krishnaswami
- Jad Elkhaleq Ghalayini, Neel Krishnaswami
- Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
- Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
- Henry Mercer, Cameron Ramsay, Neel Krishnaswami
- Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
- Simon Spies, Neel Krishnaswami, Derek Dreyer
- Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
- Jana Dunfield, Neel Krishnaswami
- Vikraman Choudhury, Neel Krishnaswami
- Michael Arntzenius, Neel Krishnaswami
- Christian Uldal Graulund, Dmitrij Szamozvancev, Neel KrishnaswamiAdjoint Reactive GUI. CoRR (2020)
- Vikraman Choudhury, Neel Krishnaswami
- Jana Dunfield, Neel KrishnaswamiBidirectional Typing. CoRR (2019)
- Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
- Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park