Search results

Jump to navigation Jump to search

Page title matches

Page text matches

  • Results, after one year and a half, 6 of sept. 2009
    ==. How quick can you write an ISI paper with Haskell ? == ==. How quick can you write an ISI paper without Haskell ? ==
    1 KB (210 words) - 01:19, 6 September 2009
  • Partial results 28 dec 2008
    ...majority is that 1 month it is NOT the right amount of time to write a ISI paper ! On both sections of the test the third answer has got the MINIMUM number 3. Without Haskell the amount of time required to be able to write a ISI paper seems to be (on the opinion of the majority) 1 YEAR.
    912 bytes (162 words) - 21:27, 28 December 2008
  • Results, after one mounth, 14 jan 2008
    ==. How quick can you write an ISI paper with Haskell ? == ==. How quick can you write an ISI paper without Haskell ? ==
    1 KB (178 words) - 04:02, 14 August 2021
  • Google Code Jam/Triangle Areas
    ...ea A/2. He restricts himself to using only the integer points on his graph paper for the triangle's vertices. ...d in the corners of those cells. If you imagine a coordinate system on the paper, then these points are of the form (x, y), where x and y are integers such
    2 KB (346 words) - 19:25, 4 August 2008
  • Humor/How quick can you write a ISI paper with Haskell or without it ?
    ==. How quick can you write a ISI paper with Haskell ? == ==. How quick can you write a ISI paper without Haskell ? ==
    828 bytes (124 words) - 01:18, 6 September 2009
  • Lucid
    ...emantics is hiding inside this paper (section 3.1.2 on pages 22--38). This paper is part of the [http://newton.cs.concordia.ca/%7egipsy/ Gipsy Project Home ...w.cs.ioc.ee/~tarmo/papers/aplas05.pdf The Essence of Dataflow Programming] paper written by [http://www.cs.ioc.ee/~tarmo/ Tarmo Uustalu].
    4 KB (593 words) - 15:07, 5 November 2011
  • Simonpj/Talk:LwConc
    This is a discussion page for the paper [http://research.microsoft.com/~simonpj/papers/lw-conc Lightweight concurre If you are kind enough to read this paper, you may like to jot down any thoughts it triggers off, and see what others
    3 KB (497 words) - 19:06, 11 February 2008
  • Grapefruit/Comparison to other FRP libraries
    ...the era parameters of signals. See the [[Grapefruit#Publications and talks|paper]] ''Signals, Not Generators!'' and the [http://hackage.haskell.org/packages mentions in his paper ''[http://conal.net/papers/push-pull-frp/ Push-pull functional reactive pro
    2 KB (316 words) - 09:28, 11 November 2011
  • Haskell Quiz/Countdown
    * [http://www.cs.nott.ac.uk/~gmh/bib.html#countdown Graham Hutton] (JFP paper)
    462 bytes (73 words) - 10:20, 13 January 2007
  • News/1992
    the availability of the paper "Type Checking Type Classes". <p><em>The Spineless Tagless G-machine: detailed paper</em>. Simon L Peyton Jones
    4 KB (611 words) - 05:59, 21 August 2007
  • Applicative data-driven programming
    I would love to get comments on a short (4.5 page) paper ''draft''. It describes a very simple approach to data-driven computation : This paper presents simple, functional interfaces for data-driven programming in gener
    3 KB (486 words) - 21:52, 29 June 2021
  • Simonpj/Talk:Papers
    There's a section for each paper. If you want to write notes about a paper where there's no section, just go ahead and create a new section. Here is [http://research.microsoft.com/~simonpj/papers/spec-constr the paper].
    5 KB (755 words) - 20:00, 30 October 2007
  • Uniplate
    *Draft Paper: http://ndmitchell.com/downloads/paper-uniform_boilerplate_and_list_processing-30_sep_2007.pdf The manual contains a basic overview of some bits of the library, the paper goes into more detail, but is intended to still be a readable introduction
    2 KB (315 words) - 08:34, 12 May 2016
  • History of Haskell
    This paper describes the history of Haskell, including its genesis and principles, tec
    672 bytes (83 words) - 15:35, 11 October 2010
  • Edit distance
    Lloyd Allison's paper, [http://www.csse.monash.edu.au/~lloyd/tildeStrings/Alignment/92.IPL.html L ...ime complexity. It is a translation of the function presented in Allison's paper, which is written in lazy ML.
    2 KB (405 words) - 13:46, 8 February 2010
  • Backpack
    See the paper: http://plv.mpi-sws.org/backpack/ In this paper, we present Backpack, a new language for building separately-typecheckable
    2 KB (285 words) - 13:42, 16 March 2018
  • MaxBolingbroke/Talk:TypesAreCallingConventions
    This is a discussion page for the paper [http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf Types Are Calling Conv If you are kind enough to read this paper, you may like to jot down any thoughts it triggers off, and see what others
    8 KB (1,253 words) - 21:53, 12 June 2009
  • Safe Haskell
    * ''In the Safe Haskell paper:'' : http://community.haskell.org/~simonmar/papers/safe-haskell.pdf As the Safe Haskell paper describes, it "hardens" the Haskell language by providing five properties:
    3 KB (471 words) - 03:00, 5 August 2021
  • Video presentations/Haskell Symposium 2008
    ...native link]) ([http://kyagrd.dyndns.org/wiki/SharedSubtypes errata of the paper]/[http://web.cecs.pdx.edu/~kya/wiki/SharedSubtypes alternative link]) ...([http://monadgarden.cs.missouri.edu/wiki/images/b/bc/haskell08.pdf PDF of paper]) ([http://monadgarden.cs.missouri.edu/wiki/images/1/1a/Haskell08-presentat
    4 KB (463 words) - 22:58, 7 December 2008
  • Pseudoconstructors
    A draft pf the paper:Adaptable Software - Modular Extensible Monadic Entry-pointless Type Checke ...ting the commands syntax of the grammar which can be modullarly added. The paper: "Adaptable Software – Modular extensible monadic evaluator and typecheck
    2 KB (340 words) - 22:22, 29 June 2021
  • GPBench
    * Paper "Comparing Libraries For Generic Programming In Haskell": [http://www.cs.uu
    950 bytes (130 words) - 10:56, 6 March 2010
  • Concurrency
    ...doi=10.1.1.67.3686&rep=rep1&type=pdf Composable memory transactions]. The paper [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.1678&rep=rep1 ...to know about ''bound threads''. They are described in a Haskell workshop paper, [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.80.4811&rep=rep
    3 KB (420 words) - 06:21, 12 June 2023
  • Roles
    ...e [http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible.pdf draft paper] for useful information.
    637 bytes (99 words) - 19:03, 8 April 2014
  • Research area
    [http://www.haskell.org/wikiupload/1/15/Paper-v5.sxw Download .sxw ] After loading the .sxw in the Open Office, press the [http://www.haskell.org/wikiupload/7/7d/POPA_D.pdf Official PDF of the paper for <DOWNLOAD> ], having the following title:
    6 KB (867 words) - 08:50, 26 July 2011
  • Simonpj/Talk:ListComp
    This is a discussion page for the paper [http://research.microsoft.com/~simonpj/papers/list-comp Comprehensive Comp If you are kind enough to read this paper, you may like to jot down any thoughts it triggers off, and see what others
    11 KB (1,836 words) - 02:36, 25 September 2007
  • Hu/Haskell
    The paper is available:
    1 KB (177 words) - 11:09, 12 November 2011
  • GHC/Data Parallel Haskell/References
    ...(FSTTCS 2008),'' IBFI, Schloss Dagstuhl, 2008. '''''Summary:''''' ''This paper gives a comprehensive account of the vectorisation of Haskell programs and ...icrosoft.com/~simonpj/papers/ndp/NdpSlides.pdf slides of a talk] about the paper.
    8 KB (1,153 words) - 13:18, 2 December 2008
  • HaskellImplementorsWorkshop/2011/Loeh
    ...itecture of the new solver, which is inspired by Nordin and Tolmach's 2001 paper ``Modular Lazy Search for Constraint Satisfaction Problems''. We also point
    1 KB (228 words) - 13:46, 17 December 2012
  • Simonpj/Talk:FunWithTypeFuns
    Here is Version 3 of our paper (May 2010): This paper gives a programmer's tour of type families as they are
    14 KB (2,191 words) - 17:03, 18 February 2012
  • HaskellImplementorsWorkshop/2012/deVries
    in the original Cloud Haskell paper) and a potential solution.
    1 KB (203 words) - 13:43, 17 December 2012
  • Simonpj/Talk:TasteOfHaskell
    ...about an hour and [http://citeseer.ist.psu.edu/claessen00quickcheck.html a paper from John Hughes ].
    1 KB (230 words) - 23:25, 2 December 2007
  • Haskell Quiz/Grid Folding/Solution Kuklewicz
    -- oriented subsets of the paper (of type Bound) are above each other.
    2 KB (328 words) - 10:49, 13 January 2007
  • Chaitin's construction/Parser
    .../gmh/ Graham Hutton] and Erik Meier). The optimalisations described in the paper are avoided here. Of course, we can make optimalisations, or choose sophist
    4 KB (583 words) - 14:31, 4 August 2006
  • Applications and libraries/Database interfaces/CoddFish
    Further details can be found in the draft paper available from the [http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/C
    1 KB (209 words) - 10:14, 6 May 2007
  • Improving library documentation
    ...lpful. It's hard for me to extract examples from the McBride and Paterson paper, because of the notation and because the examples are mixed in with the axi ...o any module where the description contains a link to a PDF of an academic paper and no examples.)
    4 KB (549 words) - 05:29, 20 January 2010
  • Applications and libraries/Concurrency and parallelism
    :* Latest paper: [http://research.microsoft.com/apps/pubs/default.aspx?id=138042 Seq no mor :* Original paper: [http://www.macs.hw.ac.uk/~dsg/gph/papers/html/Strategies/strategies.html
    7 KB (998 words) - 06:02, 12 June 2023
  • HaskellSymposium/ExperienceReports
    ...nges and then possibly go around the cycle again. If you haven't written a paper before then expect at least two cycles. ...ttp://www.program-transformation.org/PEPM13/ToolPaperAdvice PEPM 2013 Tool paper advice]
    5 KB (901 words) - 09:06, 1 May 2013
  • Applications and libraries/Generic programming/Lightweight
    and Dynamic types (which have special attention in the paper)</li></p> RepLib (caveat: haven't read that paper carefully) are in a similar
    5 KB (859 words) - 10:10, 20 April 2021
  • Functional differentiation
    ...eautiful-differentiation/ Beautiful differentiation by Conal Elliott.] The paper itself and link to video of ICFP talk on the subject are available from his
    3 KB (357 words) - 08:32, 19 December 2010
  • Applications and libraries/Editors
    ...h interesting new possibilities for browsers. ''(The link is broken, but a paper with the code of an old version can be downloaded from [http://www.unibw.de
    2 KB (345 words) - 10:15, 30 March 2008
  • Opting for oracles
    In his paper [https://academic.oup.com/comjnl/article-pdf/31/3/243/1157325/310243.pdf No While they recognise its preservation of referential transparency, in their paper [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.1260&rep=rep1
    6 KB (809 words) - 07:56, 12 June 2023
  • HaskellImplementorsWorkshop/2013/Eisenberg
    POPL 2011 paper, "Generative type abstraction and type-level computation."
    1 KB (187 words) - 06:34, 16 September 2013
  • Vector-space/Versions
    ...k> is an indirection to one or the other, for testing. See Doug McIlroy's paper "The Music of Streams".
    3 KB (384 words) - 19:07, 11 November 2008
  • Quantified contexts
    of the paper.) to local instance declarations. Our ICFP'08 paper
    7 KB (1,197 words) - 19:49, 1 May 2010
  • Pure
    ...c/summary?doi=10.1.1.27.7800 What is a Purely Functional Language?] a 1993 paper which presents a proposed formal definition of the concept,
    2 KB (290 words) - 08:52, 24 April 2024
  • MetaHDBC
    ...ndstroem.wordpress.com/2008/09/18/metahdbc-paper-draft/ the MetaHDBC draft paper] will help you get started. Especially the first few chapters will be good
    3 KB (435 words) - 13:23, 31 July 2011
  • Old-reactive
    Also, the paper ''[http://conal.net/papers/simply-reactive/ Simply Efficient Functional Rea Baker & Hewitt's 1977 paper ''[http://citeseer.ist.psu.edu/baker77incremental.html The Incremental Garb
    10 KB (1,586 words) - 10:40, 17 July 2011
  • Stiri Ro/HCAR-mai-2009
    ...]”. All my gratitude to Profesor Vasile Berinde for the acceptance of the paper, in the last minute.
    6 KB (942 words) - 19:26, 6 May 2010
  • Introduction to QuickCheck2
    * 2004 Paper [http://www.math.chalmers.se/~koen/pubs/entry-tt04-quickcheck.html QuickChe * 2003 Paper [http://www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html Specifica
    8 KB (1,214 words) - 00:46, 23 October 2017
  • Pointfree
    A paper specifically about point-free style: ...style underlies a lot of expert Haskeller's intuitions. A rather infamous paper (for all the cute symbols) is Erik Meijer et. al's:
    10 KB (1,782 words) - 14:44, 5 June 2011
  • Performance/Parallel
    ...by disabling parallel GC altogether (+RTS -g1), but as the results in our paper show, sometimes the parallel GC is essential for retaining locality in para
    3 KB (397 words) - 15:29, 23 May 2009
  • Lazy vs. non-strict
    ...entations is that they are not generally amenable to parallelisation. This paper states that experiments indicate that little parallelism can be extracted f : This paper implies (section 2.2.1) that lenient evaluation can handle circular data st
    4 KB (643 words) - 23:33, 5 April 2021
  • GHC/Type system/PolyKinds
    ...inria.fr/~jcretin/papers/fc-kind-poly.pdf Giving Haskell a promotion], the paper about it.
    2 KB (242 words) - 23:38, 24 July 2021
  • News/1997
    that the paper "Type classes: an exploration of the design space" was available
    5 KB (630 words) - 12:09, 13 January 2007
  • Extensible record
    * [http://www.ioc.ee/~wolfgang/research/ppdp-2010-paper.pdf Generic Record Combinators with Static Type Checking] describes a recor ...ellDB|HaskellDB]] project. More precisely, the problem is described in the paper downloadable from
    6 KB (770 words) - 05:26, 10 December 2020
  • GHC.Generics
    ...in Section 2.1. of [http://dreixel.net/research/pdf/gdmh.pdf the original paper describing the new generic deriving mechanism]. ...les (but make sure to check the [[#Changes from the paper|changes from the paper]]).
    16 KB (2,615 words) - 20:24, 19 October 2020
  • Simonpj/Talk:OutsideIn
    This epic 73-page paper (JFP style) brings together our work on type inference for type functions, ...ge is a discussion page for the paper. If you are kind enough to read this paper, please help us by jotting down any thoughts it triggers off. Things to th
    9 KB (1,527 words) - 09:11, 10 August 2022
  • BayHac2013/Denotative Programming
    <li>The seminal paper on DSELs</li>
    2 KB (316 words) - 14:12, 14 October 2021
  • Ru/Introduction to QuickCheck
    * Paper [http://www.cs.chalmers.se/~koen/pubs/icfp00-quickcheck.ps QuickCheck: A Li * Paper [http://www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html Specifica
    11 KB (553 words) - 07:45, 2 July 2013
  • Introduction to QuickCheck1
    * 2004 Paper [http://dl.acm.org/citation.cfm?doid=351240.351266 QuickCheck: Specificatio * 2003 Paper [http://www.cs.utexas.edu/~ragerdl/fmcad11/slides/tutorial-a.pdf Specificat
    8 KB (1,186 words) - 20:49, 28 May 2021
  • Idiom brackets
    See also the 2008 paper [http://www.staff.city.ac.uk/~ross/papers/Applicative.html Applicative prog
    2 KB (365 words) - 18:50, 19 September 2017
  • Applications and libraries/Database interfaces/HaskellDB/Archive
    HaskellDB was originally developed by Daan Leijen, and is described in the paper Domain Specific Embedded Compilers, Daan Leijen and Erik Meijer. 2nd USENIX ...4D927950052C15CA41?doi=10.1.1.26.6906&rep=rep1&type=pdf Original HaskellDB paper]
    8 KB (1,042 words) - 15:22, 31 August 2010
  • Exact real arithmetic
    ...~karczma/arpap/ Jerzy Karczmarczuk]'s ''(wonderful, wonderful! gem of a)'' paper with the funny title [http://users.info.unicaen.fr/~karczma/arpap/lazypi.ps
    3 KB (453 words) - 19:45, 26 December 2012
  • GHC/Kinds
    ...More details can be found in [http://dreixel.net/research/pdf/ghp.pdf this paper].
    2 KB (289 words) - 16:02, 28 February 2014
  • Applications and libraries/Data structures
    ...bags. ([http://www.eecs.usma.edu/Personnel/okasaki/pubs.html#hw00 overview paper]).
    17 KB (2,508 words) - 07:09, 8 June 2023
  • Laziness is not always good
    * Amanda Clare has written a paper on various methods for twisting the evaluation order: http://users.aber.ac.
    2 KB (342 words) - 09:27, 9 June 2023
  • Monad Transformers Explained
    ...a present in that regard: in this example we unwrapped the outer wrapping paper to get to the present: an object of type <hask>IO ()</hask>, which lets us
    4 KB (737 words) - 13:16, 5 November 2012
  • Zipper
    * Note that in the original paper, Huet dealt with B-trees (ones where nodes have arbitrary numbers of branch ...exed data types] by Ralf Hinze, Johan Jeuring and Andres Löh, or a similar paper [http://www.staff.science.uu.nl/~jeuri101/homepage/Publications/ghpractice.
    10 KB (1,623 words) - 21:10, 26 June 2023
  • Haskell Lisp
    ...ort for Racket’s macro system, built using the techniques described in the paper [http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf Type Systems as * [https://github.com/haskell-lisp/liskell Liskell] - From the ILC 2007 paper: "Liskell uses an extremely minimalistic parse tree and shifts syntactic cl
    5 KB (799 words) - 16:55, 23 March 2021
  • Stiri Ro/Congrese
    . Deadline for Full Paper Submission: March 31, 2011
    3 KB (368 words) - 06:49, 24 March 2011
  • Unamb
    For more info about <hask>unamb</hask> and its use, see the paper ''[http://conal.net/papers/push-pull-frp/ Push-pull functional reactive pro
    2 KB (356 words) - 21:36, 4 February 2014
  • Parallel/Reading
    ...Harris, Marlow, Peyton Jones, 2005 The original SMP runtime implementation paper
    3 KB (408 words) - 08:06, 12 June 2023
  • Burton-style nondeterminism
    In his paper [https://academic.oup.com/comjnl/article-pdf/31/3/243/1157325/310243.pdf No
    2 KB (341 words) - 09:18, 22 February 2022
  • Category theory
    ...nderstanding the article does not require knowledge of category theory—the paper is self-contained with regard to understanding catamorphisms, anamorphisms ...and folds for the purpose of generic programming. Supplements the bananas paper.
    9 KB (1,379 words) - 04:11, 14 February 2023
  • GHC/AdvancedOverlap
    ...e are explained in Section 9 and specifically Appendix D of the full HList paper <http://homepages.cwi.nl/~ralf/HList/paper.pdf>
    10 KB (1,575 words) - 13:27, 14 January 2015
  • Tags
    ...er and Simon Thompson [http://www.cs.kent.ac.uk/pubs/2005/2266/content.pdf paper] on porting the Haskell Refactoring tool, HaRe, to the GHC API.
    4 KB (548 words) - 05:13, 30 January 2016
  • Reactive
    * Read the paper ''[http://conal.net/papers/simply-reactive/ Simply Efficient Functional Rea
    4 KB (524 words) - 10:39, 17 July 2011
  • Ministg
    ...ones (hereafter referred to as the "fast curry" paper). Please consult the paper for a detailed description of the semantic rules. ...s in the paper very closely, to the point that each evaluation rule in the paper corresponds to an equation in the interpreter (specifically: equations of t
    15 KB (2,396 words) - 07:19, 10 August 2022
  • The Monad.Reader/Issue3/Functional Programming vs Object Oriented Programming
    The misunderstanding isn't helped by the this paper's references to OO subtyping: http://homepages.inf.ed.ac.uk/wadler/papers/c There's an excellent (i.e. quite readable) paper on mapping OO code to Haskell, although it's more from the point-of-view of
    10 KB (1,718 words) - 07:14, 10 August 2022
  • HkHac2012
    * Research paper explaining the algorithm: http://www.cs.rice.edu/Conferences/IPTPS02/109.pd
    5 KB (766 words) - 13:28, 17 December 2012
  • Functional Reactive Programming
    ...formulation of Functional Reactive Programming can be found in the ICFP 97 paper [http://conal.net/papers/icfp97/ Functional Reactive Animation] by Conal El From page 6 of [http://conal.net/papers/icfp97/icfp97.pdf the paper]:
    11 KB (1,615 words) - 05:58, 7 November 2022
  • Concrete view
    A good example of this is due to [[User:RalfHinze]] in his paper, [http://www.informatik.uni-bonn.de/~ralf/publications/SearchTree.ps.gz A f
    5 KB (845 words) - 02:22, 4 January 2008
  • GADTs for dummies
    paper uses old GADT syntax. This paper is a must-read because it omitted from this article. For example, the paper outlines how to do binary compression
    14 KB (2,322 words) - 13:55, 24 November 2023
  • Humor
    *[[Humor/How quick can you write a ISI paper with Haskell or without it ?]]
    5 KB (667 words) - 22:52, 1 May 2024
  • Foldl as foldr alternative
    This isn't an academic paper, so we won't mention Graham Hutton's [https://www.cs.nott.ac.uk/~gmh/fold.p
    5 KB (891 words) - 14:21, 3 January 2018
  • Unboxed type
    #See Simon L. Peyton Jones and John Launchbury's paper [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.50.231&rep=rep1&
    3 KB (470 words) - 09:25, 12 June 2023
  • HaBench
    * (beelsebob) <nowiki>read Olaf's paper, he has evidence that speed problems in Haskell are usually because people
    5 KB (697 words) - 16:59, 10 March 2011
  • Hac 2007 II/Projects
    ...cles/2007/10/02/probability-monads-at-hac-07-ii Darcs repository and draft paper]. ...s and helper code for Rand, BRand, DDist, and BDDist from example code and paper.
    8 KB (1,163 words) - 13:06, 17 December 2012
  • Diagrams/Dev/Bounds
    18:25:14 <ddarius> byorgey: This deceptively named paper is rather useful a bit later on: http://www.science.uva.nl/ga/publications/
    6 KB (1,055 words) - 19:38, 21 December 2011
  • DeepArrow
    ...ementation techniques, but much more carefully structured than in the Eros paper.
    3 KB (540 words) - 21:40, 3 May 2024
  • Stiri Ro/Haskell-2010
    ...Available in Proceedings, pp 425-429) Here is a translated version of this paper. http://wiki.haskell.org/wikiupload/5/55/ARA2-paper-RO.pdf
    6 KB (889 words) - 22:57, 18 April 2021
  • HIDE/Design
    ...ding service. You can read more about this application architecture in the paper [http://www.cse.unsw.edu.au/~dons/papers/SC05.html Dynamic Applications Fro
    4 KB (632 words) - 19:45, 22 February 2008
  • Pseudoconstructors over monadic values
    [http://www.haskell.org/wikiupload/1/15/Paper-v5.sxw Download .sxw ] After loading the .sxw in the Open Office, press the [http://www.haskell.org/wikiupload/7/7d/POPA_D.pdf Official PDF of the paper for <DOWNLOAD> ], having the following title:
    8 KB (1,244 words) - 18:03, 13 July 2011
  • Generics
    ...ttp://dreixel.net/research/pdf/lgph.pdf Libraries for Generic Programming] paper.
    4 KB (598 words) - 02:44, 13 February 2021
  • WikipediaArticleDesign
    ...a draft structure based on the "[[History_of_Haskell|History of Haskell]]" paper.
    3 KB (332 words) - 03:38, 14 August 2021
  • Euler problems/151 to 160
    Paper sheets of standard sizes: an expected-value problem.
    9 KB (1,415 words) - 08:22, 23 February 2010
  • Eros
    Please see the ICFP Eros [http://conal.net/papers/Eros paper] and [http://conal.net/papers/Eros/talk.pdf talk] for a description.
    6 KB (947 words) - 18:08, 16 February 2011
  • 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
  • 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
  • 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
  • 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
  • Dependent type
    ** which presupposes reading also paper on the [http://www.haskell.org/haskellDB/ original] page (see [http://www.h
    6 KB (884 words) - 16:00, 19 April 2021
  • Modular Monadic Compilers for Programming Languages
    ==. The paper describing the modular monadic compiler == ...Technical Report"]] from http://www.haskell.org/wikiupload/6/61/2011-MCOMP-paper.pdf.zip
    20 KB (2,558 words) - 22:39, 29 June 2021
  • Applications and libraries/Music and sound
    ...c Prelude]]. See an [http://dafx04.na.infn.it/WebProc/Proc/P_201.pdf early paper] on the concepts. Highly experimental.
    6 KB (831 words) - 20:07, 5 December 2021
  • The Monad.Reader/Issue5/Number Param Types
    This paper describes practical programming with types parameterized by numbers: e.g., In this paper, we develop realizations of number-parameterized types in Haskell that inde
    74 KB (11,649 words) - 11:34, 9 August 2012
  • Rubiks Cube
    You can read the paper by Richard E. Korf named "Finding Optimal Solutions to Rubik's Cube Using P
    8 KB (1,020 words) - 01:02, 23 September 2018
  • Enterprise Haskell
    In the inital version of this paper, the following sources for packages are used:
    9 KB (1,365 words) - 21:35, 2 March 2012
  • MapReduce as a monad
    Then we show in [http://media.jpembeddedsolutions.com/pdf/mrmonad.pdf this paper] that:
    6 KB (1,053 words) - 03:27, 9 April 2021
  • IO tutorials timeline
    ...ww.microsoft.com/en-us/research/wp-content/uploads/1995/01/io-tutorial.pdf paper], [https://www.haskell.org/haskell-workshop/1995/HW1995-Proceedings.pdf con
    8 KB (1,101 words) - 10:59, 2 May 2024
  • Learning Haskell
    * [http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps.gz The paper that for the first time introduced type classes and their implementation us
    9 KB (1,327 words) - 14:24, 18 March 2024
  • Library/CC-delcont
    ...apers/context-OS.pdf Delimited continuations in operating systems] -- This paper provides excellent insight into how delimited continuations can arise as a ...adicDC.pdf A Monadic Framework for Delimited Continuations] -- This is the paper from which the implementation of the above library was derived. It's quite
    25 KB (4,039 words) - 16:39, 12 March 2024
  • AutoForms
    ...matic Graphical User Interface Form Generation Using Template Haskell] - a paper about using [[Template_Haskell | Template Haskell]] for the automatic const
    7 KB (1,004 words) - 01:32, 9 April 2021
  • Applications and libraries/Games
    ...of [http://en.wikipedia.org/wiki/Paper_Soccer Paper Soccer], a pencil and paper game for two players. It contains a simple interface using HOpenGL library
    15 KB (2,258 words) - 16:22, 1 July 2023
  • Class system extension proposal
    More details can be found in the paper ''Modular Generic Programming with Extensible Superclasses'', available in
    8 KB (1,232 words) - 01:58, 8 October 2014
  • GHC/CloudAndHPCHaskell
    Some initial thoughts appear in the third paper above.
    6 KB (959 words) - 08:48, 10 August 2022
  • Applications and libraries/GUI libraries
    ...t.psu.edu/viewdoc/download?doi=10.1.1.19.3342&rep=rep1&type=pdf respective paper]. ...du/viewdoc/download?doi=10.1.1.55.2958&rep=rep1&type=pdf Embracing Windows paper] (PDF).
    16 KB (2,346 words) - 05:33, 8 June 2023
  • The Monad.Reader/Issue3/Notes on Learning Haskell
    I found the paper ''State in Haskell'' by Simon Peyton-Jones and John Launchbury Later, I read John Hughes' paper ''Why Functional Programming Matters'',
    31 KB (5,175 words) - 04:59, 9 March 2011
  • GHC/Type families
    ...pletely unrelated types. A recent [[Simonpj/Talk:FunWithTypeFuns|tutorial paper]] has more in-depth examples of programming with type families. ...[http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html#J4 Ralf Hinze's paper]. The only novelty concerning associated types, in these two instances, is
    42 KB (6,828 words) - 17:15, 4 February 2023
  • CTRex
    Rows and records can contain duplicate labels as described in the paper [http://legacy.cs.uu.nl/daan/download/papers/scopedlabels.pdf Extensible re ...done to make this faster [http://www.fing.edu.uy/~mviera/papers/pepm13.pdf paper].
    25 KB (4,073 words) - 08:53, 9 December 2013
  • DataDriven
    ...ager]". (These ideas were a motivating application for the "Stretching" paper, but the description got cut for lack of space.)
    13 KB (2,149 words) - 10:44, 17 July 2011
  • Tutorials
    ...imon Thompson]. Unpublished, May 1997.<BR> <STRONG>Abstract:</STRONG> This paper explores how certain ideas in object oriented languages have their correspo ...kell, SML, C++, Java, C#. Haskell supports all constructs described in the paper -- the only language to do so. </blockquote>
    31 KB (4,662 words) - 08:38, 20 April 2024
  • Research papers/Monads and arrows
    ...Surveys, 29(3):240--263, September 1997. A shorter version was an invited paper at ILPS 95, appearing in John Lloyd, editor, International Logic Programmin Free version of the above paper at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7278 or one o
    18 KB (2,331 words) - 09:02, 1 September 2022
  • Type arithmetic
    Hallgren's 2001 paper
    8 KB (1,365 words) - 19:23, 15 August 2019
  • GHC/Typed holes
    ...malized to what we call 'Free Theorems', pioneered by Philip Wadler in his paper '[http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf Theorems for Fr
    9 KB (1,711 words) - 20:19, 31 August 2014
  • Humor/Wanda
    A substance that, injected into a rat, produces a scientific paper.
    8 KB (1,343 words) - 09:02, 13 March 2016
  • Dutch HUG/Meetings
    ...l. Next, [http://www.cs.ru.nl/~wouters/ Wouter Swierstra] talked about his paper [http://www.cs.ru.nl/~wouters/Publications/DataTypesALaCarte.pdf Data types
    10 KB (1,483 words) - 02:59, 25 July 2021
  • Template Haskell
    .../wp-content/uploads/2016/02/meta-haskell.pdf The original Template Haskell paper] ...on Template Haskell version 2], which describes changes since the original paper. Section 8 describes the difficulty with pattern splices, which are theref
    30 KB (4,551 words) - 00:29, 15 June 2023
  • The Monadic Way
    [http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf paper]
    9 KB (1,615 words) - 15:16, 6 February 2021
  • Xmonad/Guided tour of the xmonad source/Core.hs
    ...ers in general, I recommend reading Martin Grabmüller's excellent tutorial paper, [http://www.grabmueller.de/martin/www/pub/Transformers.en.html Monad Tran
    13 KB (2,057 words) - 10:15, 28 September 2017
  • The Monad.Reader/Issue4/On Treaps And Randomization
    definable in Haskell by pattern matching. Drawing them on paper is a good
    17 KB (2,987 words) - 01:08, 10 May 2008
  • CamHac/PostHackathonReport
    ...in my [http://www.cl.cam.ac.uk/~tp322/papers/docase.html Haskell Symposium paper].<br /><br />
    12 KB (1,833 words) - 12:53, 17 December 2012
  • Ro/Boosting your Math. Faculty with Haskell
    Printed on acid-free paper Springer-Verlag London Limited 2006
    10 KB (1,417 words) - 09:49, 10 February 2011
  • Chaitin's construction
    ...e for example in Section 4.1 of [https://tromp.github.io/cl/LC.pdf Tromp's paper].
    10 KB (1,527 words) - 09:31, 24 April 2024
  • Tutorials/Programming Haskell/Introduction
    Haskell on paper by replacing all names with their definition, until you reach
    13 KB (1,817 words) - 17:53, 20 October 2016
  • Existential type
    See the [http://www.cs.uu.nl/wiki/Ehc/#On_EHC documentation on EHC], each paper at the ''Version 4'' part:
    13 KB (2,093 words) - 10:57, 25 October 2023
  • ZuriHac2016
    You can find more details in this paper:
    13 KB (1,982 words) - 10:32, 8 September 2016
  • Foreign Function Interface
    ...download?doi=10.1.1.13.9123&rep=rep1&type=pdf "Tackling the awkward squad" paper] ...~simonmar/papers/conc-ffi.pdf "Extending the Haskell FFI with Concurrency" paper] (the number of capabilities is now greater than 1)
    33 KB (5,008 words) - 16:46, 20 December 2023
  • News/2005
    a new version of their paper, "Haskell's overlooked object
    27 KB (3,675 words) - 12:12, 13 January 2007
  • Introduction
    A slightly less formal essay inspired by the paper above can be found in ''Based on a paper by Simon Peyton Jones.''
    26 KB (4,102 words) - 23:54, 29 February 2020
  • Haskell in web browser/Haskell web toolkit
    ...ommunication described here is derived from one discussed in the following paper:
    24 KB (3,619 words) - 14:49, 7 March 2012
  • ZuriHac2015
    ...the way we'll find and fix a small problem with the initial discrimination paper, which opens the door to streaming results, rather than having to wait unti
    13 KB (2,000 words) - 08:31, 31 May 2015
  • OOP vs type classes
    The paper that at first time introduced type classes and their implementation I thanks Ralf Lammel and Klaus Ostermann for their paper
    30 KB (4,685 words) - 01:34, 14 July 2021
  • Research papers/Generics
    :Ralf Lämmel, Invited paper, Proceedings of WRS 2004 13 pages To appear in ENTCS, 2004
    15 KB (1,992 words) - 19:49, 26 May 2022
  • Xmonad/Guided tour of the xmonad source/StackSet.hs
    ...ibooks.org/wiki/Haskell/Zippers Haskell wikibook entry on zippers], or the paper by Conor McBride, [http://www.cs.nott.ac.uk/~ctm/diff.pdf The Derivative of
    16 KB (2,690 words) - 16:02, 26 December 2022
  • Cn/Introduction
    ''Based on a paper by Simon Peyton Jones.''
    22 KB (2,644 words) - 21:43, 29 October 2011
  • Shootout/Regex DNA
    -- An idiomatic Haskell entry using lazy regex combinators, described in the paper: -- An idiomatic Haskell entry using lazy regex combinators, described in the paper:
    133 KB (20,540 words) - 08:31, 13 December 2009
  • Monad tutorials timeline
    *: "This paper explores the use monads to structure functional programs. No prior knowledg ...transformers are rarely covered in introductory tutorials. This "is not a paper about implementing transformers, but about using them to write elegant, cle
    35 KB (4,940 words) - 10:59, 2 May 2024
  • HaskellImplementorsWorkshop/2015
    [1]: One example that makes use of it is SYB optimizer described in the paper "Optimizing SYB is Easy!" by Adams et al.
    15 KB (2,190 words) - 21:19, 17 February 2016
  • The Monad.Reader/Issue5/Practical Graph Handling
    depends on just too many things to fit in this paper,
    21 KB (3,170 words) - 18:18, 27 October 2011
  • Lightweight concurrency
    ...ibraries. For an earlier attempt at this problem, please look at Peng Li's paper [https://repository.upenn.edu/cgi/viewcontent.cgi?article=1391&context=cis_
    19 KB (2,840 words) - 16:41, 1 August 2021
  • Research papers/Data structures
    ...uckland Computer Science Report No. 71, and IFIP Working Group 2.1 working paper 705 WIN-2.
    14 KB (1,953 words) - 00:54, 5 June 2022
  • Applications and libraries/Linguistics
    Chris Barker's paper [http://www.cs.bham.ac.uk/~hxt/cw04/barker.pdf Continuations in Natural Lan
    15 KB (2,211 words) - 16:44, 1 August 2021
  • Haskell in practice
    ...kell, SML, C++, Java, C#. Haskell supports all constructs described in the paper -- the only language to do so.
    14 KB (2,263 words) - 06:31, 10 August 2022
  • Typeclassopedia
    ...ivity, first described by McBride and Paterson. The title of their classic paper, [http://www.soi.city.ac.uk/~ross/papers/Applicative.html Applicative Progr McBride and Paterson’s paper introduces the notation <math>[[g \; x_1 \; x_2 \; \cdots \; x_n]]\ </math>
    179 KB (29,519 words) - 16:10, 30 December 2022
  • Arch Linux/Applications
    ...s.php?ID=19146 foo 1.0-1] 1 Paper soccer, an OpenGL game.
    27 KB (2,482 words) - 19:02, 6 May 2020
  • Numeric Haskell: A Repa Tutorial
    ...61.639&rep=rep1&type=pdf Guiding Parallel Array Fusion with Indexed Types] paper for a detailed explanation of each representation. A more advanced example from the Repa paper is matrix-matrix multiplication. The result of matrix multiplication is a m
    37 KB (5,672 words) - 07:28, 10 August 2022
  • Untypechecking
    the regions. The monadic regions are described in the paper by M. Fluet
    20 KB (3,458 words) - 15:19, 6 February 2021
  • Yhc/Javascript/Programmers guide
    ...phical User Interfaces (1995) by Rob Noble, Colin Runciman]. In fact, this paper was studied along with the Fudgets Thesis, and gave some inspiration to thi
    27 KB (4,152 words) - 01:58, 17 November 2007
  • GHC/Using rules
    ...the rules: rewriting as a practical optimisation technique in GHC]. This paper, from the 2001 Haskell workshop, describes the idea of rewrite rules.
    19 KB (3,096 words) - 17:21, 4 February 2023
  • QuotesPage
    <nowiki>*</nowiki> shapr begins his own paper "Generalizing Arrows to Spears" ...mikus> basically: The Chapter "Type-indexed datatypes" is based on the ... paper.
    55 KB (8,884 words) - 01:18, 10 November 2022
  • Regular expressions
    About the paper in the above section: It never mentions the difference between longest vers
    18 KB (2,819 words) - 19:20, 15 August 2019
  • HaskellImplementorsWorkshop/2016
    ...respects the division between package manager and compiler. This is not a paper design: it is principally motivated by our (ongoing) efforts to implement B
    16 KB (2,520 words) - 06:08, 16 October 2016
  • Applications and libraries/Program development
    ...ricted Haskell syntax. It is based on the algorithm first presented in the paper "Deriving Structural Hylomorphisms From Recursive Definitions" at ICFP'96 b
    19 KB (2,935 words) - 13:50, 22 August 2022
  • Research papers/Compilation
    ...ACM SIGPLAN symposium on Haskell 2009. ([http://vimeo.com/6688091 Video of paper presentation])
    19 KB (2,599 words) - 00:14, 15 June 2023
  • News/2006
    ...rg/haskellwiki/Image:Building_an_interpreter.pdf available now] (pdf). The paper is a step by step guide on the building of a small monadic interpreter. The ...d in [http://research.microsoft.com/~tharris/papers/2006-transact.pdf this paper (pdf)]. There are two operations: <code>always X :: STM Bool -> STM ()</cod
    93 KB (13,836 words) - 23:40, 14 August 2019
  • The Monad.Reader/Issue4/Why Attribute Grammars Matter
    Almost twenty years have passed since John Hughes influential paper [http://www.math.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Program
    22 KB (3,703 words) - 21:20, 30 May 2021
  • HXT/Conversion of Haskell data from/to XML
    In a programming pearl paper [http://research.microsoft.com/~akenn/fun/picklercombinators.pdf] Andrew Ke
    28 KB (3,540 words) - 18:19, 5 January 2015
  • The Monadic Way/Part I
    But I had also Wadler's paper, and started reading it. Well, just
    60 KB (9,727 words) - 17:00, 25 February 2010
  • Yhc/TMR
    ...up Yhc, this is the section that would have been in the History of Haskell paper if they had done a Yhc section :)
    28 KB (4,378 words) - 13:10, 8 April 2007
  • Arrays
    Like many GHC extensions, this is described in a paper: [http://www.cse.unsw.edu.au/~chak/papers/CK03.html An Approach to Fast Arr
    27 KB (4,333 words) - 06:09, 23 July 2020
  • Haskell in industry
    ::[http://lambda-the-ultimate.org/node/3331 Simon Frankau et al's JFP paper on their use of Haskell] ...esearch paper on [http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf compiler]
    49 KB (6,836 words) - 08:57, 19 October 2020
  • News/2007
    ...cessors. The NDP library is part of the Data Parallel Haskell project. The paper [http://www.cse.unsw.edu.au/~chak/papers/CLPKM07.html Data Parallel Haskell ...rticle.gmane.org/gmane.comp.lang.haskell.general/14793 mentioned] that the paper 'A History of Haskell: being lazy with class', authored by Paul Hudak, John
    78 KB (11,405 words) - 03:19, 11 February 2008
  • GHC/Using the FFI
    ...ownload?doi=10.1.1.13.9123&rep=rep1&type=pdf Tackling the Awkward Squad] A paper by Simon Peyton-Jones which includes discussion of the issues surrounding t
    29 KB (4,766 words) - 05:52, 1 June 2022
  • Why Haskell matters
    ...to be quite a bit harder. John Hughes had this to say on the topic in his paper [http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Programm
    33 KB (5,616 words) - 22:30, 3 May 2024
  • IO inside
    ...arn about concurrency, exceptions and the FFI in Haskell/GHC, the original paper is the best source of information.
    82 KB (13,140 words) - 09:07, 3 May 2024
  • Ru/IO Inside
    ...o learn about concurrency, exceptions and FFI in Haskell/GHC, the original paper is the best source of information.
    64 KB (6,046 words) - 11:23, 22 October 2022
  • A practical Template Haskell Tutorial
    ...ent types in Haskell; see for instance [http://www.brics.dk/RS/01/10/ this paper] for a solution to simulate functions like <hask>curryN</hask> without depe
    45 KB (6,927 words) - 18:50, 16 November 2020
  • GHC/FAQ
    ...CLR meta-data directly. But there are lots of tricky issues here; see the paper that Mark Shields and I wrote about "Object-oriented style overloading for
    36 KB (5,898 words) - 06:04, 10 August 2022
  • All About Monads
    ...Jones' influential [https://web.cecs.pdx.edu/~mpj/pubs/springschool95.pdf paper] that inspired the Haskell monad template library. ...s and outputs a tray containing a finished pair of chopsticks in a printed paper wrapper. We could represent this in Haskell as:
    169 KB (26,630 words) - 00:15, 19 September 2021
  • The I/O problem
    the paper which originally proposed ‘a new model, based on monads, for :<small>[https://www.mta.ca/~rrosebru/oldcourse/371199/haskell/paper.htm Functional Programming Using Haskell], Wade Estabrooks, Michael Goit an
    61 KB (9,234 words) - 04:14, 5 April 2024
  • Haskellへのヒッチハイカーガイド
    actions on the piece of paper (that's us writing in "do" notation),
    73 KB (10,050 words) - 00:05, 19 April 2021
  • Hitchhikers guide to Haskell
    actions on the piece of paper (that's us writing in "do" notation),
    69 KB (11,026 words) - 12:26, 9 January 2023
Retrieved from "https://wiki.haskell.org/Special:Search"