Search results

• 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

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