Abstract is missing.
- Reflections on Monadic LensesFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. 1-31 [doi]
- Conflation Confers ConcurrencyRobert Atkey, Sam Lindley, J. Garrett Morris. 32-55 [doi]
- Counting Successes: Effects and Transformations for Non-deterministic ProgramsNick Benton, Andrew Kennedy, Martin Hofmann 0001, Vivek Nigam. 56-72 [doi]
- The Essence of InheritanceAndrew P. Black, Kim B. Bruce, James Noble. 73-94 [doi]
- Subtyping Supports Safe Session SubstitutionSimon J. Gay. 95-108 [doi]
- Proof-Relevant ParametricityNeil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo. 109-131 [doi]
- Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th BirthdayJeremy Gibbons. 132-151 [doi]
- Dragging Proofs Out of PicturesRalf Hinze, Dan Marsden. 152-168 [doi]
- Experiences with QuickCheck: Testing the Hard Stuff and Staying SaneJohn Hughes. 169-186 [doi]
- Cutting Out ContinuationsGraham Hutton, Patrick Bahr. 187-200 [doi]
- The Lambda Calculus: Practice and PrincipleHugh Leather, Janne Irgens. 201-206 [doi]
- I Got Plenty o' Nuttin'Conor McBride. 207-233 [doi]
- Pointlessness is Better than ListlessnessJohn T. O'Donnell, Cordelia V. Hall. 234-248 [doi]
- The Essence of Dependent Object Types Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki. 249-272 [doi]
- Linear λμ is CP (more or less)Jennifer Paykin, Steve Zdancewic. 273-291 [doi]
- A Reflection on TypesSimon L. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis. 292-317 [doi]
- The Essence of Multi-stage Evaluation in LMSTiark Rompf. 318-335 [doi]
- 1ML with Special Effects - F-ing Generativity PolymorphismAndreas Rossberg. 336-355 [doi]
- The Computer Scientist Nightmare - My Favorite BugManuel Serrano. 356-366 [doi]
- A Branding Strategy for Business TypesAvraham Shinnar, Jérôme Siméon. 367-387 [doi]
- The Recursive Union of Some Gradual TypesJeremy G. Siek, Sam Tobin-Hochstadt. 388-410 [doi]
- A Delta for Hybrid Type CheckingPeter Thiemann. 411-432 [doi]
- Certifying Data in Multiparty Session TypesBernardo Toninho, Nobuko Yoshida. 433-458 [doi]
- Recursion Equations as a Programming LanguageD. A. Turner. 459-478 [doi]