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
- - Jeremy Yallop ...635 bytes (81 words) - 16:35, 28 June 2017
- ''A typed, algebraic approach to parsing'' by Jeremy Yallop, joint work with Neel Krishnaswami ...711 bytes (96 words) - 03:03, 29 April 2019
- '''Profunctor Optics and the Yoneda Lemma''' by Jeremy Gibbons (based on joint work with Guillaume Boisseau) ...900 bytes (129 words) - 12:24, 23 May 2018
- ''Comprehending Monadic Queries'' by Jeremy Gibbons ...936 bytes (135 words) - 17:04, 25 October 2015
- Jeremy Gibbons (joint work with Oisin Kidney, Tom Schrijvers, Nick Wu) ...1,007 bytes (148 words) - 18:22, 8 April 2023
- ''Linking isn't Substitution'' by Jeremy Siek ...1,016 bytes (147 words) - 23:04, 29 May 2013
- '''Composing DSLs''' by Jeremy Siek ...1 KB (208 words) - 12:06, 12 December 2011
- '''Relational Algebra by Way of Adjunctions''' by Jeremy Gibbons (based on joint work with Fritz Henglein, Ralf Hinze, and Nicolas W ...1 KB (188 words) - 12:31, 23 May 2018
- Jeremy Siek: Compiling gradually typed languages for efficiency ...2 KB (254 words) - 19:38, 22 August 2016
- ...do Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Amr Sabry (intermittent), Jeremy Siek, Satnam Singh, Eelco Visser, Eric Van Wyk, Sam Tobin-Hochstadt, Tim Za Jeremy Gibbons [[WG211/M16Gibbons | APLicative Programming with Naperian Functors ...9 KB (1,237 words) - 14:29, 6 June 2018
- |[http://www.cs.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons] (UK) |[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK), Vice-Chair ...6 KB (917 words) - 16:13, 27 August 2025
- ...Tze Meng Low, Doru Thom Popovici, Richard M. Veras, Daniele G. Spampinato, Jeremy R. Johnson, Markus Püschel, James C. Hoe, and José M. F. Moura. SPIRAL: Ex ...2 KB (293 words) - 23:33, 30 April 2019
- ...illere, Ina Schaefer, Ulrik Schultz, Chung-chieh Shan, Yannis Smaragdakis, Jeremy Siek, Tijs van der Storm, Jurgen Vinju, Eelco Visser *[[WG211/M10Siek | Composing DSLs ]] Jeremy Siek<br> ...7 KB (1,054 words) - 12:57, 20 December 2011
- |Jeremy Gibbons Jeremy Gibbons, ...12 KB (1,719 words) - 02:26, 22 May 2019
- * Jeremy Gibbons * Jeremy Yallop ...11 KB (1,662 words) - 12:51, 28 April 2023
- * Jeremy Johnson * Jeremy Yallop ...13 KB (1,830 words) - 13:12, 27 March 2024
- * Jeremy G: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 ( * Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 ...17 KB (2,543 words) - 17:44, 8 July 2018
- ...eichenbach, Bodo Scholz, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev * Jeremy Yallop [[WG211/M20Yallop | Certified Optimisation of Stream Operations Usin ...9 KB (1,302 words) - 09:36, 20 February 2020
- New! [[http://web.comlab.ox.ac.uk/jeremy.gibbons/wg21/wcdsl/ Local information]], a [[http://dslresearch.blogspot.co * [[http://ece.colorado.edu/~siek/ Jeremy Siek]], University of Colorado at Boulder ...7 KB (1,060 words) - 12:39, 16 December 2011
- ...annis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev. * Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]] ...11 KB (1,617 words) - 20:14, 21 July 2017
