Search results

Jump to navigation Jump to search
  • Ezra Cooper, Samuel Lindley, Philip Wadler and Jeremy Yallop "An idiom's guide to formlets" Technical Report, EDI-INF-RR-1263. ht
    1 KB (143 words) - 21:42, 16 February 2011
  • ...alogue/catalogue.asp?Title_Id=0333992857 The Fun of Programming] edited by Jeremy Gibbons and Oege de Moor.<br>
    2 KB (323 words) - 12:11, 13 January 2007
  • ; 20 January 2007 : wxHaskell has a new set of maintainers, led by Jeremy O'Donoghue. We are working on a release for version 0.10, with Unicode supp
    2 KB (259 words) - 21:40, 1 December 2015
  • | jeremy@seereason.com
    2 KB (316 words) - 00:15, 4 October 2010
  • ....gibbons/publications/iterator.pdf The Essence of the Iterator Pattern] by Jeremy Gibbons and Bruno C. d. S. Oliveira, Section 5.2 "Sequential composition of
    3 KB (500 words) - 14:59, 31 July 2011
  • * [[:User:nornagon|Jeremy Apthorp]]
    2 KB (334 words) - 13:04, 3 December 2011
  • ; Jeremy O'Donoghue ; Jeremy O'Donoghue
    6 KB (743 words) - 16:02, 26 April 2017
  • * Jeremy Shaw (stepcut)
    3 KB (422 words) - 00:04, 18 January 2007
  • ...Bringert, Andy Gill, Anders Kaseorg, Ian Lynagh, Erik Meijer, Sven Panne, Jeremy Shaw
    3 KB (482 words) - 00:22, 4 October 2010
  • <dt>20 January 2007</dt><dd>wxHaskell has a new set of maintainers, led by Jeremy O'Donoghue. We are working on a release for version 0.10, with Unicode supp
    4 KB (581 words) - 10:16, 23 February 2009
  • * Bruno Oliveira and Jeremy Gibbons: [http://ropas.snu.ac.kr/~bruno/papers/Typecase.pdf TypeCase: A Des
    6 KB (1,034 words) - 20:05, 1 July 2013
  • ;[http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/publications/index.html#unfold The Under-Appreciated Unfold] :Jeremy Gibbons and Geraint Jones, Proceedings 3rd ACM SIGPLAN Int. Conf. on Functi
    14 KB (1,953 words) - 00:54, 5 June 2022
  • * '''Jeremy Shaw''' - ''stepcut on #haskell@FreeNode'' (suggestions)
    5 KB (697 words) - 16:59, 10 March 2011
  • :Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Co ;[http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/publications/acmmpc-optimization.pdf Algebraic methods for optimiza
    11 KB (1,480 words) - 16:36, 1 August 2021
  • ...ing pearls for JFP is available in this [http://www.comlab.ox.ac.uk/people/Jeremy.Gibbons/pearls/ editorial]. ...t Yoneda: Profunctor Optics and the Yoneda Lemma] - Guillaume Boisseau and Jeremy Gibbons.
    20 KB (2,961 words) - 16:50, 6 February 2024
  • :Ralf Hinze, Johan Jeuring, and Andres Löh. To appear in Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Sprin ;[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf TypeCase: A Design Pattern for Type-Index
    15 KB (1,992 words) - 19:49, 26 May 2022
  • .../src/cpp/defs.cpp : Another way of wrapping up event values as functions. (Jeremy: I don't tend to do this, and I don't think anyone has for years.).
    5 KB (713 words) - 19:14, 31 January 2016
  • *[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ Jeremy Gibbons]
    8 KB (1,251 words) - 05:43, 1 September 2022
  • ...lsson-popl2006-tr.pdf Nils A. Danielsson, John Hughes, Patrik Jansson, and Jeremy Gibbons. ''Fast and loose reasoning is morally correct.'']
    7 KB (1,086 words) - 10:33, 9 March 2023
  • Diversión en la tarde. Jueves 16th de Noviembre en Oxford. Jeremy
    8 KB (1,191 words) - 01:56, 21 October 2006

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