Abstract is missing.
- Type Error Customization in GHC: Controlling expression-level type errors by type-level programmingAlejandro Serrano, Jurriaan Hage. [doi]
- Recursive Array Comprehensions in a Call-by-Value LanguageArtjoms Sinkarovs, Sven-Bodo Scholz, Robert Stewart, Hans-Nikolai Vießmann. [doi]
- Extrapolate: generalizing counterexamples of functional test propertiesRudy Braquehais, Colin Runciman. [doi]
- Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and ExperimentsClemens Grelck, Nikolaos Sarris. [doi]
- The Sky is the Limit: Analysing Resource Consumption Over Time Using SkylinesMarkus Klinik, Jan Martin Jansen, Rinus Plasmeijer. [doi]
- A Distributed Dynamic Architecture for Task Oriented ProgrammingArjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer. [doi]
- Handlers for Non-Monadic ComputationsRuben P. Pieters, Tom Schrijvers, Exequiel Rivas. [doi]
- Biorthogonality for a Lazy languageDaniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez. [doi]
- Pattern Candidate Discovery and Parallelization TechniquesMelinda Tóth, István Bozó, Tamás Kozsik. [doi]