Neelakantan R. Krishnaswami

Statistics

Publications

Citations

809

H-Index

Active since

2005

Affiliations

Max Planck Institute for Software Systems(Current)

Microsoft Research (United Kingdom)

Carnegie Mellon University

University of Birmingham

Microsoft (United States)

Neelakantan R. Krishnaswami is an author at Max Planck Institute for Software Systems specializing in computing, computer science, and programming languages.

Publications per year

2005–2019

Publications

Ultrametric Semantics of Reactive Programs

Neelakantan R. Krishnaswami, Nick Benton · 2011 · 90 citations

Computing, Computer Science, Formal Methods +15

Complete and easy bidirectional typechecking for higher-rank polymorphism

Jana Dunfield, Neelakantan R. Krishnaswami · 2013 · 85 citations

Computing, Computer Science, Formal Methods +16

Integrating Linear and Dependent Types

Neelakantan R. Krishnaswami, Nick Benton · 2014 · 50 citations

Computing, Computer Science, Formal Methods +15

Higher-order functional reactive programming without spacetime leaks

Neelakantan R. Krishnaswami · 2013 · 48 citations

Computing, Computer Science, Programming Languages +11

Freeze after writing

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami et al. · 2014 · 46 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 25