Search results

Jump to navigation Jump to search
  • * Paper "Comparing Libraries For Generic Programming In Haskell": [http://www.cs.uu
    950 bytes (130 words) - 10:56, 6 March 2010
  • ...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
  • ...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
  • [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
  • 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
  • The paper is available:
    1 KB (177 words) - 11:09, 12 November 2011
  • ...(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
  • ...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
  • 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
  • in the original Cloud Haskell paper) and a potential solution.
    1 KB (203 words) - 13:43, 17 December 2012
  • ...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
  • -- oriented subsets of the paper (of type Bound) are above each other.
    2 KB (328 words) - 10:49, 13 January 2007
  • .../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
  • 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
  • ...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
  • :* 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
  • ...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
  • 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
  • ...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
  • ...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

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