Abstract is missing.
- Interpreting task oriented programs on tiny computersMart Lubbers, Pieter Koopman, Rinus Plasmeijer. [doi]
- A new view on parser combinatorsPieter Koopman, Rinus Plasmeijer. [doi]
- Type debugging with counter-factual type error messages using an existing type checkerKanae Tsushima, Olaf Chitil, Joanna Sharrad. [doi]
- Lazy interworking of compiled and interpreted code for sandboxing and distributed systemsCamil Staps, John H. G. van Groningen, Rinus Plasmeijer. [doi]
- Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate studentsOlivier Danvy. [doi]
- A functional approach to accelerating Monte Carlo based american option pricingWojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea. [doi]
- A symbolic execution semantics for TopHatNico Naus, Tim Steenvoorden, Markus Klinik. [doi]
- A trustworthy framework for resource-aware embedded programmingAdam D. Barwell, Christopher Brown 0002. [doi]
- A space-efficient call-by-value virtual machine for gradual set-theoretic typesGiuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek. [doi]
- Language-integrated updatable viewsRudi Horn, Simon Fowler 0001, James Cheney. [doi]
- Deriving compositional random generatorsAgustín Mista, Alejandro Russo. [doi]
- Counting immutable beans: reference counting optimized for purely functional programmingSebastian Ullrich, Leonardo de Moura. [doi]
- Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programmingJuan García-Garland, Alberto Pardo, Marcos Viera. [doi]
- Shapes and flatteningJohn H. Reppy, Joe Wingerter. [doi]
- Tensor comprehensions in SaCSven-Bodo Scholz, Artjoms Sinkarovs. [doi]