Search results

• Research papers/Authors
  *[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
• Internationalization of Haskell programs using gettext
  Author: James Bond Maintainer: James.Bond@MI6.bi
  10 KB (1,489 words) - 15:02, 26 October 2016
• Web/Servers
  | James Sanders, Gregory Collins, Doug Beardsley
  5 KB (695 words) - 08:40, 2 July 2017
• BayHac2018
  ** James Bowen: '''Haskell, Tensor Flow, and Dependent Types'''
  5 KB (649 words) - 06:32, 29 April 2018
• Extensible record
  ...Why Dependent Types Matter] written by Thorsten Altenkirch, Conor McBride, James McKinna -- or see at least its ''Conclusions'' section (section 8, pages 18
  6 KB (770 words) - 05:26, 10 December 2020
• BayHac2017
  * 10:00am [Upper room] James Bowen: '''[https://mmhaskell.com/bayhac Type Level APIs with Servant]''' ([
  6 KB (877 words) - 22:29, 26 April 2017
• Web/Comparison of Happstack, Snap and Yesod
  ...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
• Research papers/Functional pearls
  ...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
• Dependent type
  ...pdf Why dependent types matter] by Thorsten Altenkirch, Conor McBride and James McKinna).
  6 KB (884 words) - 16:00, 19 April 2021
• Applications and libraries/Generic programming/Lightweight
  (''James Cheney'')
  5 KB (859 words) - 10:10, 20 April 2021
• Links
  ...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 Universit
  11 KB (1,759 words) - 09:41, 10 August 2022
• Generalised algebraic datatype
  ...ommons.library.cornell.edu/handle/1813/5614 First-Class Phantom Types] by James Cheney and Ralf Hinze
  8 KB (1,374 words) - 14:33, 15 December 2022
• Humor/Wanda
  -- James Thurber
  8 KB (1,343 words) - 09:02, 13 March 2016
• Research papers/Parallelism and concurrency
  :Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones, International Symposium on Memory Management 2008.
  9 KB (1,361 words) - 06:20, 12 June 2023
• CamHac
  # James ‘Twey’ Kay
  12 KB (1,813 words) - 12:52, 17 December 2012
• Research papers/Type systems
  :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, 20
  26 KB (3,569 words) - 10:04, 1 September 2022
• Web/Frameworks
  | James Sanders, Gregory Collins, Doug Beardsley
  12 KB (1,789 words) - 17:49, 26 October 2020
• AngloHaskell/2007
  * James Rowe
  15 KB (2,472 words) - 11:25, 24 August 2007
• AngloHaskell/2009
  * James Rowe (Friday only)
  14 KB (2,363 words) - 22:42, 16 November 2009
• Research papers/Generics
  :James Cheney and Ralf Hinze. In Manuel Chakravarty, editor, Proceedings of the AC
  15 KB (1,992 words) - 19:49, 26 May 2022

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