Search results

Jump to navigation Jump to search
  • ...lticore runtime system: [http://ghcmutterings.wordpress.com/2009/03/03/new-paper-runtime-support-for-multicore-haskell/ Runtime Support for Multicore Haskel
    3 KB (330 words) - 11:14, 9 July 2009
  • ...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
  • of the paper.) to local instance declarations. Our ICFP'08 paper
    7 KB (1,197 words) - 19:49, 1 May 2010
  • ...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
  • ...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
  • 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
  • ...]”. 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
  • * 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
  • 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
  • ...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
  • ...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
  • ...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
  • that the paper "Type classes: an exploration of the design space" was available
    5 KB (630 words) - 12:09, 13 January 2007
  • * [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
  • ...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
  • 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
  • <li>The seminal paper on DSELs</li>
    2 KB (316 words) - 14:12, 14 October 2021
  • * 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
  • * 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
  • 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

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