Search results

From WG 2.11
Jump to: navigation, search
  • * [[http://www.cs.nyu.edu/~rgrimm/ Robert Grimm]], New York University
    7 KB (1,060 words) - 12:39, 16 December 2011
  • Robert Glueck <br>Speaker: Robert Glueck
    94 bytes (14 words) - 14:14, 16 December 2011
  • Speaker: Robert Glück
    560 bytes (76 words) - 14:24, 16 December 2011
  • Robert Gl&uuml;ck, Robert Gl&uuml;ck
    6 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 another
    4 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 Glueck
    8 KB (1,257 words) - 16:31, 16 December 2011
  • '''Bootstrapping compiler generators from partial evaluators''' by Robert Glueck
    766 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&uuml;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ück
    12 KB (1,909 words) - 10:07, 13 November 2014
  • ''Simulation of Two-Way Pushdown Automata Revisited'' by Robert Glück
    752 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 evaluation
    10 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 verification
    11 KB (1,617 words) - 20:14, 21 July 2017
  • Robert Glück, * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Pr
    17 KB (2,543 words) - 17:44, 8 July 2018
  • '''Metacomputation and Inversion - A Frontier of Program Generation''' by Robert Glück
    619 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 Syste
    9 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 Recurr
    13 KB (2,072 words) - 23:19, 27 February 2023

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)