Abstract is missing.
- Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDENeil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman. 1-10 [doi]
- HoCL: High level specification of dataflow graphsJocelyn Sérot. 11-22 [doi]
- End-user feedback in multi-user workflow systemsNico Naus, Johan Jeuring. 23-32 [doi]
- Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoningJoris Burgers, Jurriaan Hage, Alejandro Serrano 0001. 33-43 [doi]
- A Declarative Gradualizer with Language TransformationsBenjamin Mourad, Matteo Cimini. 44-54 [doi]
- A New Backend for Standard ML of New JerseyKavon Farvardin, John H. Reppy. 55-66 [doi]
- Template-based Theory Exploration: Discovering Properties of Functional Programs by TestingSólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson. 67-78 [doi]
- Type- and Control-Flow Directed DefunctionalizationMaheen Riaz Contractor, Matthew Fluet. 79-92 [doi]
- Zero-Cost Constructor SubtypingAndrew Marmaduke, Christopher Jenkins, Aaron Stump. 93-103 [doi]
- Resource Analysis for Lazy Evaluation with Polynomial PotentialSara Moreira, Pedro B. Vasconcelos, Mário Florido. 104-114 [doi]
- Typed Directional Composable Editors in iTasksBas Lijnse, Rinus Plasmeijer. 115-126 [doi]
- Polymorphic System ICristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López. 127-137 [doi]
- Effective Host-GPU Memory Management Through Code GenerationHans-Nikolai Vießmann, Sven-Bodo Scholz. 138-149 [doi]
- Validating Formal Semantics by Property-Based Cross-TestingPéter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon Thompson. 150-161 [doi]