Abstract is missing.
- Singleton types here, singleton types there, singleton types everywhereStefan Monnier, David Haguenauer. 1-8 [doi]
- Operating system development with ATS: work in progressMatthew Danish, Hongwei Xi. 9-14 [doi]
- Arity-generic datatype-generic programmingStephanie Weirich, Chris Casinghino. 15-26 [doi]
- Resource typing in GuruAaron Stump, Evan Austin. 27-38 [doi]
- Free theorems for functional logic programsJan Christiansen, Daniel Seidel, Janis Voigtländer. 39-48 [doi]
- Modular reasoning about invariants over shared state with interposed data membersStephanie Balzer, Thomas R. Gross. 49-56 [doi]
- Challenge benchmarks for verification of real-time programsTomás Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek. 57-62 [doi]