Search results

• 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 (1,001 words) - 21:55, 10 May 2024
• User:Ivanm
  .../ivanmiljenovic.files.wordpress.com/2010/03/sourcegraph_pepm10_reprint.pdf paper] I presented at [http://www.program-transformation.org/PEPM10/ PEPM'10].
  2 KB (372 words) - 11:54, 17 March 2010
• 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
• User:Lenny222/Haskell
  ...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
• 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

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