Abstract is missing.
- Type-Based Uncurrying for Unknown Function CallsMorten Rhiger. [doi]
- Fault-tolerance at your Finger Tips with the TeamPlay Coordination LanguageWouter Loeve, Clemens Grelck. [doi]
- Crafting Extensible Forward Incremental Parallel Embedded Build SystemsLucas Escot. [doi]
- QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheckRobert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen. [doi]
- Dynamic TopHat: Start and Stop Tasks at RuntimeTim Steenvoorden, Nico Naus. [doi]
- Reverse-Mode AD of Multi-Reduce and Scan in FutharkLotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hey Hinnerskov, Cosmin Eugen Oancea. [doi]
- A frame stack semantics for sequential Core ErlangPéter Bereczky, Dániel Horpácsi, Simon J. Thompson. [doi]
- What's in a Bag?: An "Application Proving Interface" for Finite Bags and its ImplementationAlexander Dinges, Ralf Hinze. [doi]
- Heron: Modern Hardware Graph ReductionCraig Ramsay, Robert Stewart. [doi]
- CSI: Haskell - Tracing Lazy Evaluations in a Functional LanguageMatthías Páll Gissurarson, Leonhard Herbert Applis. [doi]
- Calculating Function Sensitivity for Synthetic Data AlgorithmsMarkus Pettersson, Johannes Ljung Ekeroth, Alejandro Russo. [doi]
- ExEl: Building an Elaborator Using Extensible ConstraintsBohdan Liesnikov, Jesper Cockx. [doi]
- Type Patterns: Pattern Matching on Shape-Carrying Array TypesJordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel. [doi]
- Modulo in high-performance code: strength reduction for modulo-based array indexing in loopsMichiel Verloop, Thomas Koopman, Sven-Bodo Scholz. [doi]