Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers Trinder Phil Heftet / 2004 / Engelsk
Mathematical Reasoning: The History and Impact of the DReaM Group Michaelson Gregory Innbundet / 2021 / Engelsk
Mathematical Reasoning: The History and Impact of the DReaM Group Michaelson Gregory Heftet / 2022 / Engelsk
Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers Grelck Clemens Heftet / 2005 / Engelsk
