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

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

Retrieved from "https://wiki.haskell.org/Special:Search"