Autor: Ralf Hinze

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised …

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated – the so-called genericity of the paradigm. The sorts of parameters that can …

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in Augu …

…

…