Obserwuj
Neelakantan R. Krishnaswami
Neelakantan R. Krishnaswami
University of Cambridge
Zweryfikowany adres z cl.cam.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1862019
Bidirectional typing
J Dunfield, N Krishnaswami
ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021
1192021
Complete and easy bidirectional typechecking for higher-rank polymorphism
J Dunfield, NR Krishnaswami
ACM SIGPLAN Notices 48 (9), 429-442, 2013
1192013
Higher-Order Reactive Programming without Spacetime Leaks
NR Krishnaswami
113*
Ultrametric semantics of reactive programs
NR Krishnaswami, N Benton
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011
1092011
Integrating linear and dependent types
NR Krishnaswami, P Pradic, N Benton
ACM SIGPLAN Notices 50 (1), 17-30, 2015
842015
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
752014
Higher-order functional reactive programming in bounded space
NR Krishnaswami, N Benton, J Hoffmann
ACM SIGPLAN Notices 47 (1), 45-58, 2012
692012
Datafun: a functional Datalog
M Arntzenius, NR Krishnaswami
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
582016
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
572013
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
Journal of functional programming 25, e12, 2015
502015
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
472009
Internalizing relational parametricity in the extensional calculus of constructions
NR Krishnaswami, D Dreyer
Computer Science Logic 2013 (CSL 2013), 432-451, 2013
462013
Reasoning about iterators with separation logic
NR Krishnaswami
Proceedings of the 2006 conference on Specification and verification of …, 2006
412006
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
402012
Permission-based ownership: encapsulating state in higher-order typed languages
N Krishnaswami, J Aldrich
ACM SIGPLAN Notices 40 (6), 96-106, 2005
392005
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
372022
Focusing on pattern matching
NR Krishnaswami
ACM SIGPLAN Notices 44 (1), 366-378, 2009
342009
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
332019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20