Publication has no abstract
- Adding types to untyped languagesMatthias Felleisen. 1-2 [doi]
- Effects for cooperable and serializable threadsJaeheon Yi, Cormac Flanagan. 3-14 [doi]
- Race-free and memory-safe multithreading: design and implementation in cycloneProdromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas. 15-26 [doi]
- Distributed programming with distributed authorizationKumar Avijit, Anupam Datta, Robert Harper. 27-38 [doi]
- Let should not be generalizedDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers. 39-50 [doi]
- Pointwise generalized algebraic data typesChuan-Kai Lin, Tim Sheard. 51-62 [doi]
- Verifying event-driven programs using ramified frame propertiesNeel R. Krishnaswami, Lars Birkedal, Jonathan Aldrich. 63-76 [doi]
- Lightweight linear types in system fdegreeKarl Mazurak, Jianzhou Zhao, Steve Zdancewic. 77-88 [doi]
- F-ing modulesAndreas Rossberg, Claudio V. Russo, Derek Dreyer. 89-102 [doi]