Amin Timany
From MaRDI portal
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 |
|---|---|---|
| A logical approach to type soundness Journal of the ACM | 2025-04-25 | Paper |
| Cerise: program verification on a capability machine in the presence of untrusted code Journal of the ACM | 2025-02-05 | Paper |
| Aneris: a mechanised logic for modular reasoning about distributed systems Programming Languages and Systems | 2022-10-13 | Paper |
| Cumulative inductive types in Coq | 2021-06-15 | Paper |
| Leibniz equality is isomorphic to Martin-Löf identity, parametrically Journal of Functional Programming | 2020-09-09 | Paper |
| Interactive proofs in higher-order concurrent separation logic Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Category theory in Coq 8.5 (available as arXiv preprint) | 2017-10-17 | Paper |
| First steps towards cumulative inductive types in CIC Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Research outcomes over time
This page was built for person: Amin Timany
