Travelled to:1 × Canada
1 × Denmark
1 × Estonia
1 × India
1 × Italy
1 × Japan
5 × USA
Collaborated with:N.Benton J.Dunfield ∅ D.Dreyer A.Turon J.Aldrich Dhruv C. Makwana J.Yallop P.Pradic J.Hoffmann L.Kuper R.R.Newton D.Garg C.Watt P.Maksimovic P.Gardner B.Ziliani A.Nanevski V.Vafeiadis
Talks about:type (8) program (6) higher (5) order (4) reactiv (3) linear (3) typecheck (2) polymorph (2) function (2) encapsul (2)
Person: Neelakantan R. Krishnaswami
DBLP: Krishnaswami:Neelakantan_R=
Contributed to:
20152014
2013
2013
2012201220122011
20112009
2005
201920192019Wrote 17 papers:
- POPL-2015-KrishnaswamiPB #dependent type #linear
- Integrating Linear and Dependent Types (NRK, PP, NB), pp. 17–30.
- POPL-2014-KuperTKN #parallel #programming
- Freeze after writing: quasi-deterministic parallel programming with LVars (LK, AT, NRK, RRN), pp. 257–270.
- CSL-2013-KrishnaswamiD #calculus #parametricity #relational
- Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.
- ICFP-2013-DunfieldK #bidirectional #morphism #polymorphism #rank
- Complete and easy bidirectional typechecking for higher-rank polymorphism (JD, NRK), pp. 429–442.
- ICFP-2013-Krishnaswami #functional #higher-order #programming
- Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.
- ICFP-2013-ZilianiDKNV #coq #monad #named #programming
- Mtac: a monad for typed tactic programming in Coq (BZ, DD, NRK, AN, VV), pp. 87–100.
- ESOP-2012-KrishnaswamiB #equation #system f
- Adding Equations to System F Types (NRK, NB), pp. 417–435.
- ICFP-2012-KrishnaswamiTDG
- Superficially substructural types (NRK, AT, DD, DG), pp. 41–54.
- POPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming
- Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
- ICFP-2011-KrishnaswamiB #semantics #user interface #visual notation
- A semantic model for graphical user interfaces (NRK, NB), pp. 45–57.
- LICS-2011-KrishnaswamiB #semantics #source code
- Ultrametric Semantics of Reactive Programs (NRK, NB), pp. 257–266.
- POPL-2009-Krishnaswami #pattern matching
- Focusing on pattern matching (NRK), pp. 366–378.
- PLDI-2005-KrishnaswamiA #encapsulation #higher-order
- Permission-based ownership: encapsulating state in higher-order typed languages (NRK, JA), pp. 96–106.
- ECOOP-2019-MakwanaK #algebra #linear #named
- NumLin: Linear Types for Linear Algebra (DCM, NRK), p. 25.
- ECOOP-2019-WattMKG #encapsulation #first-order #logic
- A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.
- PLDI-2019-KrishnaswamiY #algebra #approach #parsing
- A typed, algebraic approach to parsing (NRK, JY), pp. 379–393.
- POPL-2019-DunfieldK #bidirectional #morphism #polymorphism #rank
- Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types (JD, NRK), p. 28.