Mathematics of Program Construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings Jeuring Johan Heftet / 1998 / Engelsk
Advanced Functional Programming First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text Jeuring Johan Heftet / 1995 / Engelsk
Generic Programming IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany Gibbons Jeremy Heftet / 2013 / Engelsk
Generic Programming IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany Gibbons Jeremy Innbundet / 2003 / Engelsk
Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Jeuring Johan Heftet / 2003 / Engelsk
Games and Learning Alliance 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings Bottino, Rosa Heftet / 2016 / Engelsk
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures Backhouse, Roland Heftet / 2007 / Engelsk
