Search results
From WG 2.11
Create the page "Robert" on this wiki! See also the search results found.
- * [[http://www.cs.nyu.edu/~rgrimm/ Robert Grimm]], New York University7 KB (1,060 words) - 12:39, 16 December 2011
- Robert Glueck <br>Speaker: Robert Glueck94 bytes (14 words) - 14:14, 16 December 2011
- Speaker: Robert Glück560 bytes (76 words) - 14:24, 16 December 2011
- Robert Glück, Robert Glück6 KB (827 words) - 15:26, 16 December 2011
- <li> Robert Glueck: A Reversible Programming Language Robert Glueck,8 KB (1,198 words) - 15:40, 16 December 2011
- Robert Gl�ck suggests that you tell the Robert Gl�ck also put together some information about the area for another4 KB (683 words) - 12:06, 12 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
- ==Robert Glueck==748 bytes (103 words) - 12:06, 12 December 2011
- ...Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, [[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck8 KB (1,257 words) - 16:31, 16 December 2011
- '''Bootstrapping compiler generators from partial evaluators''' by Robert Glueck766 bytes (103 words) - 21:25, 21 February 2012
- ...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
- |[http://www.diku.dk/~glueck Robert Glück] (DK)6 KB (937 words) - 21:17, 30 December 2024
- ...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ück12 KB (1,909 words) - 10:07, 13 November 2014
- ''Simulation of Two-Way Pushdown Automata Revisited'' by Robert Glück752 bytes (104 words) - 19:44, 28 May 2013
- ...acques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Ig Robert Glück, Maximally-polyvariant partial evaluation10 KB (1,386 words) - 14:33, 6 June 2018
- Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitte * Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification11 KB (1,617 words) - 20:14, 21 July 2017
- Robert Glück, * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Pr17 KB (2,543 words) - 17:44, 8 July 2018
- '''Metacomputation and Inversion - A Frontier of Program Generation''' by Robert Glück619 bytes (82 words) - 20:03, 20 May 2018
- Edwin Brady, Jacques Carette, Ewen Denney, Bernd Fischer, Robert Glück, Kevin Hammond, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi * Robert Glück [[WG211/M20Glueck | On Inversion of Conditional Term Rewriting Syste9 KB (1,302 words) - 09:36, 20 February 2020
- ...Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reic * Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurr13 KB (2,072 words) - 23:19, 27 February 2023