Follow
Neelakantan R. Krishnaswami
Neelakantan R. Krishnaswami
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Complete and easy bidirectional typechecking for higher-rank polymorphism
J Dunfield, NR Krishnaswami
ACM SIGPLAN Notices 48 (9), 429-442, 2013
962013
Ultrametric semantics of reactive programs
NR Krishnaswami, N Benton
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011
952011
Higher-Order Reactive Programming without Spacetime Leaks
NR Krishnaswami
90*
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, R Norton-Wright, ...
Association for Computing Machinery (ACM), 2019
832019
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
692014
Higher-order functional reactive programming in bounded space
NR Krishnaswami, N Benton, J Hoffmann
ACM SIGPLAN Notices 47 (1), 45-58, 2012
592012
Integrating linear and dependent types
NR Krishnaswami, P Pradic, N Benton
ACM SIGPLAN Notices 50 (1), 17-30, 2015
572015
Mtac: a monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
ACM SIGPLAN Notices 48 (9), 87-100, 2013
522013
A semantic model for graphical user interfaces
NR Krishnaswami, N Benton
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
522011
Design patterns in separation logic
NR Krishnaswami, J Aldrich, L Birkedal, K Svendsen, A Buisse
Proceedings of the 4th international workshop on Types in language design …, 2009
432009
Internalizing relational parametricity in the extensional calculus of constructions
NR Krishnaswami, D Dreyer
Computer Science Logic 2013 (CSL 2013), 2013
382013
Permission-based ownership: encapsulating state in higher-order typed languages
N Krishnaswami, J Aldrich
ACM SIGPLAN Notices 40 (6), 96-106, 2005
382005
Mtac: A monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
Journal of functional programming 25, 2015
362015
Reasoning about iterators with separation logic
NR Krishnaswami
Proceedings of the 2006 conference on Specification and verification of …, 2006
362006
Datafun: a functional Datalog
M Arntzenius, NR Krishnaswami
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
352016
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
352012
Verifying event-driven programs using ramified frame properties
NR Krishnaswami, L Birkedal, J Aldrich
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010
282010
Focusing on pattern matching
NR Krishnaswami
ACM SIGPLAN Notices 44 (1), 366-378, 2009
272009
Bidirectional typing
J Dunfield, N Krishnaswami
ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021
262021
Verifying higher-order imperative programs with higher-order separation logic
NR Krishnaswami
Carnegie Mellon University, 2010
262010
The system can't perform the operation now. Try again later.
Articles 1–20