Abstract is missing.
- Programming languages for high-assurance autonomous vehicles: extended abstractLee Pike, Patrick Hickey, James Bielman, Trevor Elliott, Thomas Dubuisson, John Launchbury. 1-2 [doi]
- The recursive polarized dual calculusAaron Stump. 3-14 [doi]
- Substructural typestatesFilipe Militão, Jonathan Aldrich, Luís Caires. 15-26 [doi]
- Refinement types for HaskellRanjit Jhala. 27-28 [doi]
- Verified programs with bindersMartin Clochard, Claude Marché, Andrei Paskevich. 29-40 [doi]
- Formalizing a correctness property of a type-directed partial evaluatorNoriko Hirota, Kenichi Asai. 41-46 [doi]
- An abstract categorical semantics for functional reactive programming with processesWolfgang Jeltsch. 47-58 [doi]