Abstract is missing.
- Sharing-aware improvements in a call-by-need functional core languageManfred Schmidt-Schauß, David Sabel. [doi]
- Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialectsAnton Ekblad. [doi]
- Type inference for array programming with dimensioned vector spacesP. R. Griffioen. [doi]
- Polymonad programming in HaskellJan Bracker, Henrik Nilsson. [doi]
- A verified type system for CakeMLYong Kiam Tan, Scott Owens, Ramana Kumar. [doi]
- Fixing non-determinismAlexander Vandenbroucke, Tom Schrijvers, Frank Piessens. [doi]
- Dynamic adaptation of functional runtime systems through external controlStuart Gordon, Sven-Bodo Scholz. [doi]
- +Alejandro Díaz-Caro, Pablo E. Martínez López. [doi]
- Interpretation and programming of the reversible functional language RFUNMichael Kirkedal Thomsen, Holger Bock Axelsen. [doi]
- Static and dynamic visualisations of monadic programsJurriën Stutterheim, Peter Achten, Rinus Plasmeijer. [doi]
- Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an exampleHans-Nikolai Vießmann, Sven-Bodo Scholz, Artjoms Sinkarovs, Brian Bainbridge, Brian Hamilton, Simon Flower. [doi]