Search results
Jump to navigation
Jump to search
- *[http://www.cse.ogi.edu/~hook/new/Default.htm James Hook] *[http://www.dcs.st-andrews.ac.uk/~james/ James McKinna]8 KB (1,251 words) - 05:43, 1 September 2022
- Author: James Bond Maintainer: James.Bond@MI6.bi10 KB (1,489 words) - 15:02, 26 October 2016
- | James Sanders, Gregory Collins, Doug Beardsley5 KB (695 words) - 08:40, 2 July 2017
- ** James Bowen: '''Haskell, Tensor Flow, and Dependent Types'''5 KB (649 words) - 06:32, 29 April 2018
- ...Why Dependent Types Matter] written by Thorsten Altenkirch, Conor McBride, James McKinna -- or see at least its ''Conclusions'' section (section 8, pages 186 KB (770 words) - 05:26, 10 December 2020
- * 10:00am [Upper room] James Bowen: '''[https://mmhaskell.com/bayhac Type Level APIs with Servant]''' ([6 KB (877 words) - 22:29, 26 April 2017
- ...ntributors; ([http://rfrn.org/~shu Shu-yu Guo], [http://james-sanders.com/ James Sanders], Carl Howells, Shane O'Brien, [http://github.com/ozataman Ozgun At * [http://substack.net/ Personal site of James Halliday] with [https://github.com/substack/slackstack src on github]14 KB (1,908 words) - 02:23, 6 March 2017
- ...correct, stack-safe and provably correct expression compiler in Epigram] - James McKinna and Joel Wright. ...inf.ed.ac.uk/jcheney/publications/cheney05icfp.pdf Scrap your Nameplate] - James Cheney.20 KB (2,961 words) - 16:50, 6 February 2024
- ...pdf Why dependent types matter] by Thorsten Altenkirch, Conor McBride and James McKinna).6 KB (884 words) - 16:00, 19 April 2021
- (''James Cheney'')5 KB (859 words) - 10:10, 20 April 2021
- ...Hinze], University of Bonn, [http://www.cse.ogi.edu/~hook/new/Default.htm James Hook], OGI, [http://www.cs.yale.edu/~hudak-paul Paul Hudak], Yale Universit11 KB (1,759 words) - 09:41, 10 August 2022
- ...ommons.library.cornell.edu/handle/1813/5614 First-Class Phantom Types] by James Cheney and Ralf Hinze8 KB (1,374 words) - 14:33, 15 December 2022
- -- James Thurber8 KB (1,343 words) - 09:02, 13 March 2016
- :Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones, International Symposium on Memory Management 2008.9 KB (1,352 words) - 21:43, 10 May 2024
- # James ‘Twey’ Kay12 KB (1,813 words) - 12:52, 17 December 2012
- :Thorsten Altenkirch and Conor McBride and James McKinna, Manuscript, available online, April, 2005. (Cited by 7) :James Cheney and Ralf Hinze. Technical Report TR2003-1901, Cornell University, 2026 KB (3,569 words) - 10:04, 1 September 2022
- | James Sanders, Gregory Collins, Doug Beardsley12 KB (1,789 words) - 17:49, 26 October 2020
- * James Rowe15 KB (2,472 words) - 11:25, 24 August 2007
- * James Rowe (Friday only)14 KB (2,363 words) - 22:42, 16 November 2009
- :James Cheney and Ralf Hinze. In Manuel Chakravarty, editor, Proceedings of the AC15 KB (1,992 words) - 19:49, 26 May 2022
- * James Rowe11 KB (1,801 words) - 09:22, 23 May 2022
- ...om/2007/09/monads-are-elephants-part-1.html Monads are Elephants Part 1] - James Iry ...of selected portions of the best introduction to monads I¢ve ever read] - James Coglan [3200 words, Javascript] (cf. 2006 "You Could Have Invented Monads")35 KB (4,953 words) - 00:05, 9 May 2024
- <dt>James Church : [[Image: Getting_Started_with_Haskell_Data_Analysis.png|frameless| <dt> James Church: [[Image:Learning_Haskell_Data_Analysis_cov.png|frameless|right|70px53 KB (7,703 words) - 13:28, 28 March 2024
- ...ing_in_Functional_Languages.pdf Real Programming in Functional Languages], James H. Morris (page 33 of 36).</small><!-- 1981 --> .../afp08/tutorial.pdf Dependently Typed Programming in Agda], Ulf Norell and James Chapman (page 38 of 41).</small><!-- 2008 -->61 KB (9,234 words) - 04:14, 5 April 2024
- ;[http://www.dcs.st-andrews.ac.uk/~james/RESEARCH/notanum.pdf Conor McBride, James McKinna Functional pearl: I am not a number--I am a free variable]19 KB (2,599 words) - 00:14, 15 June 2023
- :by James Clark (of RELAX NG fame). Describes an algorithm for validating an XML docu31 KB (4,662 words) - 08:38, 20 April 2024