Neelakantan R. Krishnaswami
From MaRDI portal
Person:2819784
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Mtac: a monad for typed tactic programming in Coq Journal of Functional Programming | 2017-10-23 | Paper |
| Datafun: a functional Datalog Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Internalizing relational parametricity in the extensional calculus of constructions | 2017-02-02 | Paper |
| Integrating linear and dependent types Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Higher-order functional reactive programming in bounded space Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Focusing on pattern matching Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Mtac: a monad for typed tactic programming in Coq Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Complete and easy bidirectional typechecking for higher-rank polymorphism Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Higher-order functional reactive programming without spacetime leaks Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| A semantic model for graphical user interfaces Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Superficially substructural types Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Freeze after writing, quasi-deterministic parallel programming with LVars Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Adding equations to System F types Programming Languages and Systems | 2012-06-22 | Paper |
Research outcomes over time
This page was built for person: Neelakantan R. Krishnaswami
