Abstract is missing.
- Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPSMarco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev. 1-18 [doi]
- Maintaining Separation of Concerns Through Task Oriented Software DevelopmentJurriën Stutterheim, Peter Achten, Rinus Plasmeijer. 19-38 [doi]
- Typed Relational ConversionPetr Lozov, Andrei Vyatkin, Dmitry Boulytchev. 39-58 [doi]
- QuickChecking Patricia TreesJan Midtgaard. 59-78 [doi]
- Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling DebuggerJeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens. 79-97 [doi]
- Concurrent System Programming with Effect HandlersStephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White. 98-117 [doi]
- Automatically Introducing Tail Recursion in CakeMLOskar Abrahamsson, Magnus O. Myreen. 118-134 [doi]
- The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified CompilerRikard Hjort, Jakob Holmgren, Christian Persson. 135-148 [doi]