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 |
|---|---|---|
| ANF preserves dependent types up to extensional equality Journal of Functional Programming | 2022-11-18 | Paper |
| Gradual type theory Journal of Functional Programming | 2021-12-27 | Paper |
| FabULous interoperability for ML and a linear language (available as arXiv preprint) | 2018-07-17 | Paper |
| Noninterference for free Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Fully abstract compilation via universal embedding Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| State-dependent representation independence Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Typed closure conversion preserves observational equivalence Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| An equivalence-preserving CPS translation via multi-language semantics Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| A step-indexed model of substructural state Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Logical relations for fine-grained concurrency Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Imperative self-adjusting computation Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Verifying an Open Compiler Using Multi-language Semantics Programming Languages and Systems | 2014-04-16 | Paper |
| Blame for all Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| A core calculus for provenance Lecture Notes in Computer Science | 2012-06-29 | Paper |
| Provenance as dependency analysis Mathematical Structures in Computer Science | 2011-12-08 | Paper |
| Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! Programming Languages and Systems | 2008-04-11 | Paper |
| Abstract Predicates and Mutable ADTs in Hoare Type Theory Programming Languages and Systems | 2007-09-04 | Paper |
| \(L^3\): a linear language with locations | 2007-07-20 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Typed Lambda Calculi and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
Research outcomes over time
This page was built for person: Amal Ahmed
