Search results

• News/2002
  ...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
• Lazy functors
  ...s/publications/iterator.pdf The Essence of the Iterator Pattern] by Jeremy Gibbons and Bruno C. d. S. Oliveira, Section 5.2 "Sequential composition of travers
  3 KB (500 words) - 14:59, 31 July 2011
• Closed world instances
  * Bruno Oliveira and Jeremy Gibbons: [http://ropas.snu.ac.kr/~bruno/papers/Typecase.pdf TypeCase: A Design Patt
  6 KB (1,034 words) - 20:05, 1 July 2013
• Research papers/Data structures
  ;[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 Functional Pro
  14 KB (1,953 words) - 00:54, 5 June 2022
• Research papers/Testing and correctness
  :Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, ;[http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/publications/acmmpc-optimization.pdf Algebraic methods for optimization pro
  11 KB (1,480 words) - 16:36, 1 August 2021
• Research papers/Functional pearls
  ...rls for JFP is available in this [http://www.comlab.ox.ac.uk/people/Jeremy.Gibbons/pearls/ editorial]. ...a: Profunctor Optics and the Yoneda Lemma] - Guillaume Boisseau and Jeremy Gibbons.
  20 KB (2,961 words) - 16:50, 6 February 2024
• Research papers/Generics
  ...inze, Johan Jeuring, and Andres Löh. To appear in Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School ;[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf TypeCase: A Design Pattern for Type-Indexed Funct
  15 KB (1,992 words) - 19:49, 26 May 2022
• Research papers/Authors
  *[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ Jeremy Gibbons]
  8 KB (1,251 words) - 05:43, 1 September 2022
• Hask
  ...opl2006-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
• HWN/es/2006-10-19
  Diversión en la tarde. Jueves 16th de Noviembre en Oxford. Jeremy Gibbons [13]anunció que el, Graham Hutton y Conor McBride en
  8 KB (1,191 words) - 01:56, 21 October 2006
• Pointfree
  ...[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 cited below * http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/index.html#radix
  10 KB (1,782 words) - 14:44, 5 June 2011
• Introduction to QuickCheck2
  ...n Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing,
  8 KB (1,214 words) - 00:46, 23 October 2017
• Links
  *<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], Galois,
  11 KB (1,759 words) - 09:41, 10 August 2022
• Ru/Introduction to QuickCheck
  ...n Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing,
  11 KB (553 words) - 07:45, 2 July 2013
• Introduction to QuickCheck1
  ...n Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing,
  8 KB (1,186 words) - 20:49, 28 May 2021
• Research papers/Monads and arrows
  :Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtländer. Haskell Symposium 2 :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
• Research papers/Domain specific languages
  :Koen Claessen, Mary Sheeran, and Satnam Singh. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing,
  9 KB (1,309 words) - 07:48, 18 September 2014
• Research papers/Compilation
  ;[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 internati
  19 KB (2,599 words) - 00:14, 15 June 2023
• Research papers/Type systems
  ;[http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf TypeCase: a design pattern for type-indexed funct :Bruno C. d. S. Oliveira, Jeremy Gibbons. Proceedings of the 2005 ACM SIGPLAN workshop on Haskell. Tallinn, Estonia.
  26 KB (3,569 words) - 10:04, 1 September 2022
• Books
  <dt>[[Image:Fun_of_Programming.jpg|frameless|right|Cover]] Jeremy Gibbons and Oege de Moor (eds.): <em>[https://www.amazon.com/Fun-Programming-Corner
  53 KB (7,703 words) - 13:28, 28 March 2024

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