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. ht1 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 supp2 KB (259 words) - 21:40, 1 December 2015
- | jeremy@seereason.com2 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 of3 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'Donoghue6 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 Shaw3 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 supp4 KB (581 words) - 10:16, 23 February 2009
- * Bruno Oliveira and Jeremy Gibbons: [http://ropas.snu.ac.kr/~bruno/papers/Typecase.pdf TypeCase: A Des6 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 Functi14 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 optimiza11 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-Index15 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. Jeremy8 KB (1,191 words) - 01:56, 21 October 2006
- ...rsity. [http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ Jeremy Gibbons] has also written a number of papers about the topic, which are cit * http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/index.html#radix10 KB (1,782 words) - 14:44, 5 June 2011
- <li><em>Decimal arithmetic library.</em> Jeremy Shaw Jeremy Bobbio's FUSE bindings.27 KB (3,675 words) - 12:12, 13 January 2007
- ...fication Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Co8 KB (1,214 words) - 00:46, 23 October 2017
- ;[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf TypeCase: a design pattern for type-index :Bruno C. d. S. Oliveira, Jeremy Gibbons. Proceedings of the 2005 ACM SIGPLAN workshop on Haskell. Tallinn,26 KB (3,569 words) - 10:04, 1 September 2022
- *<b>G:</b> [http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Jeremy Gibbons], Oxford University, [http://www.ittc.ku.edu/~andygill/ Andy Gill],11 KB (1,759 words) - 09:41, 10 August 2022
- ...fication Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Co11 KB (553 words) - 07:45, 2 July 2013
- ...fication Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Co8 KB (1,186 words) - 20:49, 28 May 2021
- :Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtländer. Haskell Sym :Ross Paterson, in The Fun of Programming (Jeremy Gibbons and Oege de Moor, Eds.), pp201-222, Palgrave, 2003.18 KB (2,331 words) - 09:02, 1 September 2022
- :Koen Claessen, Mary Sheeran, and Satnam Singh. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Co9 KB (1,309 words) - 07:48, 18 September 2014
- Conferencia de Ingeniería del Software. Jeremy Gibbos [26]anunció11 KB (1,674 words) - 08:26, 2 November 2007
- # Jeremy Yallop12 KB (1,813 words) - 12:52, 17 December 2012
- ;[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/#unfold The under-appreciated unfold] :Jeremy Gibbons and Geraint Jones, ICFP '98: Proceedings of the third ACM SIGPLAN i19 KB (2,599 words) - 00:14, 15 June 2023
- Thanks to Jeremy Shaw, the library is now cabalized. To install it, run command: + Now cabalized, thanks to Jeremy Shaw21 KB (3,181 words) - 16:03, 14 March 2014
- * Happstack — Happstack is currently maintained by [http://www.n-heptane.com/ Jeremy Shaw (aka stepcut)] with financial support from [http://seereason.com seere14 KB (1,908 words) - 02:23, 6 March 2017
- :Jeremy Bobbio's fuse bindings.11 KB (1,663 words) - 19:17, 15 August 2019
- Jeremy O'Donoghue: Agree that look and feel is not primary for IDE. However, wide Jeremy O'Donoghue: I don't see how HIDE can be anything except LGPL or GPL, given24 KB (4,039 words) - 04:38, 24 April 2021
- * Jeremy Yallop (Friday only)14 KB (2,363 words) - 22:42, 16 November 2009
- ...ort for Generic Programming] Ronald Garcia, Jaakko Jrvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. In Proceedings of the 2003 ACM SIGPLAN conf14 KB (2,263 words) - 06:31, 10 August 2022
- <li><p><em>Asterisk Gateway Interface</em>. Jeremy Shaw <li><p><em>Debian library for Haskell</em>. Jeremy Shaw78 KB (11,405 words) - 03:19, 11 February 2008
- :Ronald Garcia, Jaakko Jrvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. In Proceedings of the 2003 ACM SIGPLAN conf31 KB (4,662 words) - 08:38, 20 April 2024
- <b>Instructor:</b> Jeremy Bobbio -- INSIA<br>40 KB (6,259 words) - 05:49, 6 June 2020
- <li><p><em>Haskell MIME library</em>. Jeremy Shaw <li><p><em>Fun in the Afternoon: Thurs 16th Nov in Oxford</em>. Jeremy Gibbons93 KB (13,836 words) - 23:40, 14 August 2019
- <dt>[[Image:Fun_of_Programming.jpg|frameless|right|Cover]] Jeremy Gibbons and Oege de Moor (eds.): <em>[https://www.amazon.com/Fun-Programmin53 KB (7,703 words) - 13:28, 28 March 2024
- ...cribed in more detail in Gibbons and Oliveira, [http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf The Essence of the Iterator Pattern], ...s.inf.ed.ac.uk/wadler/papers/arrows/arrows.pdf Sam Lindley, Philip Wadler, Jeremy Yallop: The arrow calculus]; [http://www.soi.city.ac.uk/~ross/papers/fop.ht179 KB (29,519 words) - 16:10, 30 December 2022