Folgen
Neelakantan R. Krishnaswami
Neelakantan R. Krishnaswami
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
1452019
Complete and easy bidirectional typechecking for higher-rank polymorphism
J Dunfield, NR Krishnaswami
ACM SIGPLAN Notices 48 (9), 429-442, 2013
1132013
Higher-Order Reactive Programming without Spacetime Leaks
NR Krishnaswami
104*
Ultrametric semantics of reactive programs
NR Krishnaswami, N Benton
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011
1032011
Bidirectional typing
J Dunfield, N Krishnaswami
ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021
782021
Integrating linear and dependent types
NR Krishnaswami, P Pradic, N Benton
ACM SIGPLAN Notices 50 (1), 17-30, 2015
772015
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
ACM SIGPLAN Notices 49 (1), 257-270, 2014
762014
Higher-order functional reactive programming in bounded space
NR Krishnaswami, N Benton, J Hoffmann
ACM SIGPLAN Notices 47 (1), 45-58, 2012
662012
A semantic model for graphical user interfaces
NR Krishnaswami, N Benton
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
572011
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
542013
Datafun: a functional Datalog
M Arntzenius, NR Krishnaswami
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
502016
Mtac: A monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
Journal of functional programming 25, e12, 2015
442015
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
412013
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
402012
Reasoning about iterators with separation logic
NR Krishnaswami
Proceedings of the 2006 conference on Specification and verification of …, 2006
402006
Permission-based ownership: encapsulating state in higher-order typed languages
N Krishnaswami, J Aldrich
ACM SIGPLAN Notices 40 (6), 96-106, 2005
402005
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
332010
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types
J Dunfield, NR Krishnaswami
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
312019
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
F Krawiec, S Peyton Jones, N Krishnaswami, T Ellis, RA Eisenberg, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
292022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20