Search results

Jump to navigation Jump to search

  • Cloud Haskell
    ...provides an implementation of the ''task layer'' described in the original paper and implemented in the remote package. There is much to do her also, and an ...://dl.acm.org/citation.cfm?id=1863514 Unified Semantics for Future Erlang] paper, but extends it with a notion of "reconnecting" (this is described in detai
    12 KB (1,725 words) - 07:44, 10 August 2022
  • ADFA
    ...[http://www.haskell.org/wikiupload/e/e4/ARA1-paper.pdf Download the draft paper .pdf format.] ...rea in format .pdf] aferenta [http://www.haskell.org/wikiupload/e/e4/ARA1-paper.pdf lucrarii (3) - Download the .pdf format here!]
    4 KB (651 words) - 12:55, 7 May 2011
  • Functional dependencies
    ...ading, of course. See [http://web.cecs.pdx.edu/~mpj/pubs/fundeps.html the paper] by Mark P. Jones for further details.
    4 KB (706 words) - 22:41, 21 July 2021
  • Pt/Introdução
    A slightly less formal essay inspired by the paper above can be found in Um ensaio pouco menos formal inspirado pelo paper acima pode ser encontrado em
    10 KB (1,648 words) - 22:57, 4 November 2008
  • Haskell Equational Reasoning Assistant
    ...lid candidate sub-expressions, using the algorithm described in a previous paper[4]. In the screenshot in Figure 1 above, the right hand side of a let expre
    4 KB (633 words) - 06:14, 8 June 2023
  • Talk:SantaClausProblemV2
    '''NOTE: this paper is now finished. It's available at [http://research.microsoft.com/~simonpj .../research.microsoft.com/~simonpj/papers/stm/beautiful.ps Version 2] of the paper. The [http://research.microsoft.com/~simonpj/papers/stm/Santa.hs.gz Haskel
    38 KB (6,033 words) - 09:39, 12 January 2009
  • Literate programming
    paper if they obtain the literate Haskell source code for the paper.
    10 KB (1,524 words) - 22:20, 13 November 2022
  • Yhc/RTS/GC
    Sadly this paper is a little hard to get hold of now so this page will explain the algorithm
    10 KB (1,498 words) - 19:31, 14 August 2006
  • GHC/SuperClass
    ...e [http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html TypeFamilies 2008] paper; but note that was written concurrently with Type Families development; and The 1997 paper explains
    14 KB (2,091 words) - 17:28, 4 February 2023
  • Quasiquotation
    Note that the syntax for quasiquotation has changed since the paper was written: in GHC 7 one writes <hask>[expr|...|]</hask> instead of <hask> the Haskell Workshop paper). These functions, from the Language.Haskell.TH.Quote
    12 KB (1,695 words) - 15:27, 12 November 2019
  • Zeno
    ...r <tt>cabal install zeno</tt> to use it from home. You can find the latest paper on Zeno [http://pubs.doc.ic.ac.uk/zenoTwo/ here], though please note that Z
    8 KB (1,368 words) - 15:52, 22 February 2012
  • GHC/Coercible
    ...t.psu.edu/viewdoc/download?doi=10.1.1.587.5376&rep=rep1&type=pdf ICFP 2014 paper]. This is a feature that first appeared in GHC 7.8.1 and will likely evolve
    5 KB (887 words) - 06:53, 12 June 2023
  • Talk:History of Haskell/Version 1
    ...Also, it would be more consistent with other example pieces of code in the paper. ...t actually say what that means. On the off chance that someone reading the paper doesn't know Scheme, it might be worth elaborating on that point.
    46 KB (6,895 words) - 11:08, 19 January 2009
  • The Monad.Reader/Issue3/Purely Functional Data Structures
    ...ogramming is good ([http://www.md.chalmers.se/~rjmh/Papers/whyfp.html This paper is one famous attempt]), but perhaps a better question to focus on is "Why
    7 KB (1,226 words) - 00:35, 10 May 2008
  • STG in Javascript
    The abovereferenced paper describes how to implemement a STG machine in assembly language (or C). Jav So, similarly to what is described in the STG paper, the ''c'' method is used to evaluate a thunk. This method may also do self
    23 KB (3,210 words) - 22:00, 15 December 2008
  • Creating Debian packages from Cabal package
    long_description=" MTL is a monad transformer library, inspired by the paper \"Functional
    6 KB (802 words) - 04:59, 12 July 2021
  • GHC/Data Parallel Haskell
    ...data parallelism in Haskell, including some examples, can be found in the paper [http://www.cse.unsw.edu.au/~chak/papers/papers.html#ndp-haskell Nepal – ...ithm for solving the ''N''-body problem as discussed in more detail in the paper [http://www.cse.unsw.edu.au/~chak/papers/PLKC08.html Harnessing the Multico
    21 KB (3,158 words) - 08:39, 10 August 2022
  • Enumerator and iteratee
    ...ttp://okmij.org/ftp/Haskell/Iteratee/describe.pdf Iteratees]" - FLOPS 2012 paper
    6 KB (927 words) - 12:02, 19 April 2024
  • Talk:Euler problems/Answers
    ...sieve in Haskell, [http://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf this paper] would be of interest. [[User:CaleGibbard|CaleGibbard]] 15:54, 26 February
    10 KB (1,637 words) - 00:53, 3 March 2008
  • Applications and libraries/Compiler tools
    ...e rules. ([http://www.cs.uu.nl/wiki/bin/view/Ehc/RulerProgrammingTypeRules Paper]) ...trial strength" pretty printing library in Haskell, based on John Hughes's paper "The Design of a Pretty-printing Library" (in Advanced Functional Programmi
    13 KB (1,947 words) - 14:44, 21 July 2023

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

Retrieved from "https://wiki.haskell.org/Special:Search"