Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers Hinze Ralf Heftet / 2013 / Engelsk
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings Hinze Ralf Heftet / 2015 / Engelsk
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures Backhouse, Roland Heftet / 2007 / Engelsk
Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung Cremers Armin B. Heftet / 1993 / Tysk
