Amal Ahmed

Available identifiers

Publication	Date of Publication	Type
ANF preserves dependent types up to extensional equality	2022-11-18	Paper
Gradual type theory	2021-12-27	Paper
FabULous interoperability for ML and a linear language	2018-07-17	Paper
Noninterference for free	2017-05-10	Paper
Fully abstract compilation via universal embedding	2017-05-10	Paper
State-dependent representation independence	2015-07-03	Paper
Typed closure conversion preserves observational equivalence	2015-03-16	Paper
An equivalence-preserving CPS translation via multi-language semantics	2015-03-05	Paper
A step-indexed model of substructural state	2015-01-06	Paper
Logical relations for fine-grained concurrency	2014-11-27	Paper
Imperative self-adjusting computation	2014-09-12	Paper
Verifying an Open Compiler Using Multi-language Semantics	2014-04-16	Paper
Blame for all	2014-04-10	Paper
A Core Calculus for Provenance	2012-06-29	Paper
Provenance as dependency analysis	2011-12-08	Paper
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!	2008-04-11	Paper
Abstract Predicates and Mutable ADTs in Hoare Type Theory	2007-09-04	Paper
\(L^3\): a linear language with locations	2007-07-20	Paper
Programming Languages and Systems	2007-05-02	Paper
Programming Languages and Systems	2007-05-02	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper

This page was built for person: Amal Ahmed