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,362 words) - 08:01, 7 June 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