On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Search results
From WG 2.11
Jump to navigationJump to search
- Robert Glueck <br>Speaker: Robert Glueck ...94 bytes (14 words) - 14:14, 16 December 2011
- ==Robert Glueck== ...748 bytes (103 words) - 12:06, 12 December 2011
- Speaker: Robert Glück ...560 bytes (76 words) - 14:24, 16 December 2011
- '''Metacomputation and Inversion - A Frontier of Program Generation''' by Robert Glück ...619 bytes (82 words) - 20:03, 20 May 2018
- '''Bootstrapping compiler generators from partial evaluators''' by Robert Glueck ...766 bytes (103 words) - 21:25, 21 February 2012
- ''Simulation of Two-Way Pushdown Automata Revisited'' by Robert Glück ...752 bytes (104 words) - 19:44, 28 May 2013
- Robert Gl�ck suggests that you tell the Robert Gl�ck also put together some information about the area for another ...4 KB (683 words) - 12:06, 12 December 2011
- Robert Glück, Robert Glück ...6 KB (827 words) - 15:26, 16 December 2011
- Robert Gl�ck ...p://www.diku.dk/~glueck/Passau/Passau.html Pictures from the excursion, by Robert Gl�ck]] ...6 KB (903 words) - 15:43, 16 December 2011
- Edwin Brady, Jacques Carette, Ewen Denney, Bernd Fischer, Robert Glück, Kevin Hammond, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi K * Robert Glück [[WG211/M20Glueck | On Inversion of Conditional Term Rewriting System ...9 KB (1,302 words) - 09:36, 20 February 2020
- <li> Robert Glueck: A Reversible Programming Language Robert Glueck, ...8 KB (1,198 words) - 15:40, 16 December 2011
- ...Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Ch [[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck ...8 KB (1,257 words) - 16:31, 16 December 2011
- ...Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Gorel Hedin, Christoph Herrmann, Jun Inoue, Christian Kaestner, Jul ...11/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glück [[Media:M11slidesGlueck.pdf | (slides)]] ...12 KB (1,744 words) - 18:23, 17 July 2013
- Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter * Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification ...11 KB (1,617 words) - 20:14, 21 July 2017
- ...acques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Iga Robert Glück, Maximally-polyvariant partial evaluation ...10 KB (1,386 words) - 14:33, 6 June 2018
- ...Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reich * Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurre ...13 KB (2,072 words) - 23:19, 27 February 2023
- |[http://www.diku.dk/~glueck Robert Glück] (DK) ...6 KB (917 words) - 16:13, 27 August 2025
- ...cki (Tuesday), Ewen Denney, Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, * [[WG211/M12Glück | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück ...12 KB (1,909 words) - 10:07, 13 November 2014
- Robert Glück, * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Pro ...17 KB (2,543 words) - 17:44, 8 July 2018
- * [[http://www.cs.nyu.edu/~rgrimm/ Robert Grimm]], New York University ...7 KB (1,060 words) - 12:39, 16 December 2011