Abstract is missing.
- Extended Static Checking for JavaGreg Nelson. 1 [doi]
- Constructing Polymorphic Programs with Quotient TypesMichael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride. 2-15 [doi]
- Optimizing Generic FunctionsArtem Alimarine, Sjaak Smetsers. 16-31 [doi]
- Inferring Type Isomorphisms GenericallyFrank Atanassow, Johan Jeuring. 32-53 [doi]
- Friends Need a Bit More: Maintaining Invariants Over Shared StateMichael Barnett, David A. Naumann. 54-84 [doi]
- Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite ValuesNils Anders Danielsson, Patrik Jansson. 85-109 [doi]
- Describing Gen/Kill Static Analysis Techniques with Kleene AlgebraTherrezinha Fernandes, Jules Desharnais. 110-128 [doi]
- A Free Construction of Kleene Algebras with TestsHitoshi Furusawa. 129-141 [doi]
- Streaming Representation-ChangersJeremy Gibbons. 142-168 [doi]
- Probabilistic Predicative ProgrammingEric C. R. Hehner. 169-185 [doi]
- An Algebra of ScansRalf Hinze. 186-210 [doi]
- Compiling Exceptions CorrectlyGraham Hutton, Joel Wright. 211-227 [doi]
- Modelling NondeterminismClare E. Martin, Sharon A. Curtis, Ingrid Rewitzky. 228-251 [doi]
- Lazy Kleene AlgebraBernhard Möller. 252-273 [doi]
- Augmenting Types with Unbounded Demonic and Angelic NondeterminacyJoseph M. Morris. 274-288 [doi]
- An Injective Language for Reversible ComputationShin-Cheng Mu, Zhenjiang Hu, Masato Takeichi. 289-313 [doi]
- Prototyping Generic Programming in Template HaskellUlf Norell, Patrik Jansson. 314-333 [doi]
- Transposing Relations: From Maybe Functions to Hash TablesJosé Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues. 334-356 [doi]
- Pointer Theory and Weakest Preconditions without Addresses and HeapBirgit Schieder. 357-380 [doi]
- Travelling ProcessesXinbei Tang, Jim Woodcock. 381-399 [doi]