Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers Glück, Robert Heftet / 2013 / Engelsk
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings Glück, Robert Heftet / 2023 / Engelsk
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings Glück, Robert Heftet / 2005 / Engelsk
Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers Danvy Olivier Heftet / 1996 / Engelsk
