Abstract is missing.
- Pure Functional Epidemics: An Agent-Based ApproachJonathan Thaler, Thorsten Altenkirch, Peer-Olaf Siebers. 1-12 [doi]
- Delta Debugging Type Errors with a Blackbox CompilerJoanna Sharrad, Olaf Chitil, Meng Wang. 13-24 [doi]
- HiPErJiT: A Profile-Driven Just-in-Time Compiler for ErlangKonstantinos Kallas, Konstantinos Sagonas. 25-36 [doi]
- Spine-local Type InferenceChristopher Jenkins, Aaron Stump. 37-48 [doi]
- Verifiably Lazy: Verified Compilation of Call-by-NeedGeorge Stelle, Darko Stefanovic. 49-58 [doi]
- ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT SolvingChristopher Schuster, Sohum Banerjea, Cormac Flanagan. 59-70 [doi]
- MIL, a Monadic Intermediate Language for Implementing Functional LanguagesMark P. Jones, Justin Bailey, Theodore R. Cooper. 71-82 [doi]
- Task Oriented Programming and the Internet of ThingsMart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer. 83-94 [doi]
- A Staged Embedding of Attribute Grammars in HaskellMarcos Viera, Florent Balestrieri, Alberto Pardo. 95-106 [doi]
- Extended Memory Reuse: An Optimisation for Reducing Memory AllocationsHans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz. 107-118 [doi]
- A DSL embedded in RustKyle Headley. 119-126 [doi]