The following pages link to Amal Ahmed (Q1652976):
Displayed 21 items.
- FabULous interoperability for ML and a linear language (Q1652977) (← links)
- A Core Calculus for Provenance (Q2894337) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- A step-indexed model of substructural state (Q2936770) (← links)
- Noninterference for free (Q2981948) (← links)
- Fully abstract compilation via universal embedding (Q2982006) (← links)
- Provenance as dependency analysis (Q3103615) (← links)
- Imperative self-adjusting computation (Q3189850) (← links)
- (Q3593499) (← links)
- Gradual type theory (Q5019016) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- An equivalence-preserving CPS translation via multi-language semantics (Q5176993) (← links)
- Typed closure conversion preserves observational equivalence (Q5178761) (← links)
- State-dependent representation independence (Q5261531) (← links)
- Blame for all (Q5408544) (← links)
- Verifying an Open Compiler Using Multi-language Semantics (Q5410697) (← links)
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (Q5458383) (← links)
- Typed Lambda Calculi and Applications (Q5704017) (← links)
- Abstract Predicates and Mutable ADTs in Hoare Type Theory (Q5756495) (← links)
- Programming Languages and Systems (Q5899005) (← links)
- Programming Languages and Systems (Q5899009) (← links)