Search results

Jump to navigation Jump to search

  • 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,352 words) - 21:43, 10 May 2024
  • 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
  • AngloHaskell/2008
    * James Rowe
    11 KB (1,801 words) - 09:22, 23 May 2022
  • Monad tutorials timeline
    ...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
  • Books
    <dt>James Church : [[Image: Getting_Started_with_Haskell_Data_Analysis.png|frameless| <dt> James Church: [[Image:Learning_Haskell_Data_Analysis_cov.png|frameless|right|70px
    53 KB (7,703 words) - 13:28, 28 March 2024
  • The I/O problem
    ...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
  • Research papers/Compilation
    ;[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
  • Tutorials
    :by James Clark (of RELAX NG fame). Describes an algorithm for validating an XML docu
    31 KB (4,662 words) - 08:38, 20 April 2024
Retrieved from "https://wiki.haskell.org/Special:Search"