Artículos con órdenes de acceso público - Neelakantan R. KrishnaswamiMás información
Disponibles en algún lugar: 11
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
Órdenes: US Department of Defense, UK Engineering and Physical Sciences Research …
Bidirectional typing
J Dunfield, N Krishnaswami
ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021
Órdenes: Natural Sciences and Engineering Research Council of Canada
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
Órdenes: Gobierno de España
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
Órdenes: Gobierno de España
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
Órdenes: UK Engineering and Physical Sciences Research Council
CN: Verifying systems C code with separation-logic refinement types
C Pulte, DC Makwana, T Sewell, K Memarian, P Sewell, N Krishnaswami
Proceedings of the ACM on Programming Languages 7 (POPL), 1-32, 2023
Órdenes: UK Engineering and Physical Sciences Research Council, European Commission
The essence of event-driven programming
J Paykin, NR Krishnaswami, S Zdancewic
Leibniz, Leibniz International Proceedings in Informatics, 2016
Órdenes: US National Science Foundation
Transfinite step-indexing for termination
S Spies, N Krishnaswami, D Dreyer
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
Órdenes: European Commission
Flap: a deterministic parser with fused lexing
J Yallop, N Xie, N Krishnaswami
Proceedings of the ACM on Programming Languages 7 (PLDI), 1194-1217, 2023
Órdenes: European Commission
Focusing on refinement typing
DJ Economou, N Krishnaswami, J Dunfield
ACM Transactions on Programming Languages and Systems 45 (4), 1-62, 2023
Órdenes: European Commission
Explicit refinement types
JE Ghalayini, N Krishnaswami
Proceedings of the ACM on Programming Languages 7 (ICFP), 187-214, 2023
Órdenes: European Commission
La información de publicación y financiación se determina de forma automática mediante un programa informático