R. H. · Ralf H · Ralf Thomas Walter Hinze
Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures | 978-3-540-76785-5 | 2007 | Roland Backhouse · Jeremy Gibbons · Johan Jeuring |
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised ... Notes in Computer Science, Band 8241) | 978-3-642-41581-4 | 2013 | |
[(Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers)] published on | 978-3-642-41583-8 | 2013 | |
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings | 978-3-319-19796-8 | 2015 | Janis Voigtländer |