Abstract is missing.
- Dependently typed programming in AgdaUlf Norell. 1-2 [doi]
- Compiling functional types to relational specifications for low level imperative codeNick Benton, Nicolas Tabareau. 3-14 [doi]
- Typed transformations of typed abstract syntaxArthur I. Baars, S. Doaitse Swierstra, Marcos Viera. 15-26 [doi]
- Secure compilation of a multi-tier web languageIoannis G. Baltopoulos, Andrew D. Gordon. 27-38 [doi]
- A generic type-and-effect systemDaniel Marino, Todd D. Millstein. 39-50 [doi]
- Static extraction of sound hierarchical runtime object graphsMarwan Abi-Antoun, Jonathan Aldrich. 51-64 [doi]
- Opis: reliable distributed systems in OCamlPierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak. 65-78 [doi]
- Towards type-theoretic semantics for transactional concurrencyAleksandar Nanevski, Paul Govereau, Greg Morrisett. 79-90 [doi]
- Relational parametricity for references and recursive typesLars Birkedal, Kristian Støvring, Jacob Thamsborg. 91-104 [doi]
- Design patterns in separation logicNeelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse. 105-116 [doi]