5 Ebooks by Ralf Hinze
Ralf Hinze & Janis Voigtländer: Mathematics of Program Construction
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 …
PDF
English
€59.49
Roland Backhouse & Jeremy Gibbons: Datatype-Generic Programming
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 …
PDF
English
DRM
€57.61
Ralf Hinze: Implementation and Application of Functional Languages
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 …
PDF
English
DRM
€54.01
