Search results

• Pt/Introdução
  A slightly less formal essay inspired by the paper above can be found in Um ensaio pouco menos formal inspirado pelo paper acima pode ser encontrado em
  10 KB (1,648 words) - 22:57, 4 November 2008
• Haskell Equational Reasoning Assistant
  ...lid candidate sub-expressions, using the algorithm described in a previous paper[4]. In the screenshot in Figure 1 above, the right hand side of a let expre
  4 KB (633 words) - 06:14, 8 June 2023
• Literate programming
  paper if they obtain the literate Haskell source code for the paper.
  10 KB (1,524 words) - 22:20, 13 November 2022
• Yhc/RTS/GC
  Sadly this paper is a little hard to get hold of now so this page will explain the algorithm
  10 KB (1,498 words) - 19:31, 14 August 2006
• GHC/SuperClass
  ...e [http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html TypeFamilies 2008] paper; but note that was written concurrently with Type Families development; and The 1997 paper explains
  14 KB (2,091 words) - 17:28, 4 February 2023
• Quasiquotation
  Note that the syntax for quasiquotation has changed since the paper was written: in GHC 7 one writes <hask>[expr|...|]</hask> instead of <hask> the Haskell Workshop paper). These functions, from the Language.Haskell.TH.Quote
  12 KB (1,695 words) - 15:27, 12 November 2019
• Zeno
  ...r <tt>cabal install zeno</tt> to use it from home. You can find the latest paper on Zeno [http://pubs.doc.ic.ac.uk/zenoTwo/ here], though please note that Z
  8 KB (1,368 words) - 15:52, 22 February 2012
• GHC/Coercible
  ...t.psu.edu/viewdoc/download?doi=10.1.1.587.5376&rep=rep1&type=pdf ICFP 2014 paper]. This is a feature that first appeared in GHC 7.8.1 and will likely evolve
  5 KB (887 words) - 06:53, 12 June 2023
• The Monad.Reader/Issue3/Purely Functional Data Structures
  ...ogramming is good ([http://www.md.chalmers.se/~rjmh/Papers/whyfp.html This paper is one famous attempt]), but perhaps a better question to focus on is "Why
  7 KB (1,226 words) - 00:35, 10 May 2008
• STG in Javascript
  The abovereferenced paper describes how to implemement a STG machine in assembly language (or C). Jav So, similarly to what is described in the STG paper, the ''c'' method is used to evaluate a thunk. This method may also do self
  23 KB (3,210 words) - 22:00, 15 December 2008
• Creating Debian packages from Cabal package
  long_description=" MTL is a monad transformer library, inspired by the paper \"Functional
  6 KB (802 words) - 04:59, 12 July 2021
• GHC/Data Parallel Haskell
  ...data parallelism in Haskell, including some examples, can be found in the paper [http://www.cse.unsw.edu.au/~chak/papers/papers.html#ndp-haskell Nepal – ...ithm for solving the ''N''-body problem as discussed in more detail in the paper [http://www.cse.unsw.edu.au/~chak/papers/PLKC08.html Harnessing the Multico
  21 KB (3,158 words) - 08:39, 10 August 2022
• Enumerator and iteratee
  ...ttp://okmij.org/ftp/Haskell/Iteratee/describe.pdf Iteratees]" - FLOPS 2012 paper
  6 KB (927 words) - 12:02, 19 April 2024
• Applications and libraries/Compiler tools
  ...e rules. ([http://www.cs.uu.nl/wiki/bin/view/Ehc/RulerProgrammingTypeRules Paper]) ...trial strength" pretty printing library in Haskell, based on John Hughes's paper "The Design of a Pretty-printing Library" (in Advanced Functional Programmi
  13 KB (1,947 words) - 14:44, 21 July 2023
• Dependent type
  ** which presupposes reading also paper on the [http://www.haskell.org/haskellDB/ original] page (see [http://www.h
  6 KB (884 words) - 16:00, 19 April 2021
• Modular Monadic Compilers for Programming Languages
  ==. The paper describing the modular monadic compiler == ...Technical Report"]] from http://www.haskell.org/wikiupload/6/61/2011-MCOMP-paper.pdf.zip
  20 KB (2,558 words) - 22:39, 29 June 2021
• Applications and libraries/Music and sound
  ...c Prelude]]. See an [http://dafx04.na.infn.it/WebProc/Proc/P_201.pdf early paper] on the concepts. Highly experimental.
  6 KB (831 words) - 20:07, 5 December 2021
• The Monad.Reader/Issue5/Number Param Types
  This paper describes practical programming with types parameterized by numbers: e.g., In this paper, we develop realizations of number-parameterized types in Haskell that inde
  74 KB (11,649 words) - 11:34, 9 August 2012
• Rubiks Cube
  You can read the paper by Richard E. Korf named "Finding Optimal Solutions to Rubik's Cube Using P
  8 KB (1,020 words) - 01:02, 23 September 2018
• Enterprise Haskell
  In the inital version of this paper, the following sources for packages are used:
  9 KB (1,365 words) - 21:35, 2 March 2012
• MapReduce as a monad
  Then we show in [http://media.jpembeddedsolutions.com/pdf/mrmonad.pdf this paper] that:
  6 KB (1,053 words) - 03:27, 9 April 2021
• IO tutorials timeline
  ...ww.microsoft.com/en-us/research/wp-content/uploads/1995/01/io-tutorial.pdf paper], [https://www.haskell.org/haskell-workshop/1995/HW1995-Proceedings.pdf con
  8 KB (1,101 words) - 10:59, 2 May 2024
• Learning Haskell
  * [http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps.gz The paper that for the first time introduced type classes and their implementation us
  9 KB (1,327 words) - 14:24, 18 March 2024
• Library/CC-delcont
  ...apers/context-OS.pdf Delimited continuations in operating systems] -- This paper provides excellent insight into how delimited continuations can arise as a ...adicDC.pdf A Monadic Framework for Delimited Continuations] -- This is the paper from which the implementation of the above library was derived. It's quite
  25 KB (4,039 words) - 16:39, 12 March 2024
• AutoForms
  ...matic Graphical User Interface Form Generation Using Template Haskell] - a paper about using [[Template_Haskell | Template Haskell]] for the automatic const
  7 KB (1,004 words) - 01:32, 9 April 2021
• Applications and libraries/Games
  ...of [http://en.wikipedia.org/wiki/Paper_Soccer Paper Soccer], a pencil and paper game for two players. It contains a simple interface using HOpenGL library
  15 KB (2,258 words) - 16:22, 1 July 2023
• Class system extension proposal
  More details can be found in the paper ''Modular Generic Programming with Extensible Superclasses'', available in
  8 KB (1,232 words) - 01:58, 8 October 2014
• GHC/CloudAndHPCHaskell
  Some initial thoughts appear in the third paper above.
  6 KB (959 words) - 08:48, 10 August 2022
• Applications and libraries/GUI libraries
  ...t.psu.edu/viewdoc/download?doi=10.1.1.19.3342&rep=rep1&type=pdf respective paper]. ...du/viewdoc/download?doi=10.1.1.55.2958&rep=rep1&type=pdf Embracing Windows paper] (PDF).
  16 KB (2,346 words) - 05:33, 8 June 2023
• The Monad.Reader/Issue3/Notes on Learning Haskell
  I found the paper ''State in Haskell'' by Simon Peyton-Jones and John Launchbury Later, I read John Hughes' paper ''Why Functional Programming Matters'',
  31 KB (5,175 words) - 04:59, 9 March 2011
• GHC/Type families
  ...pletely unrelated types. A recent [[Simonpj/Talk:FunWithTypeFuns|tutorial paper]] has more in-depth examples of programming with type families. ...[http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html#J4 Ralf Hinze's paper]. The only novelty concerning associated types, in these two instances, is
  42 KB (6,828 words) - 17:15, 4 February 2023
• CTRex
  Rows and records can contain duplicate labels as described in the paper [http://legacy.cs.uu.nl/daan/download/papers/scopedlabels.pdf Extensible re ...done to make this faster [http://www.fing.edu.uy/~mviera/papers/pepm13.pdf paper].
  25 KB (4,073 words) - 08:53, 9 December 2013
• DataDriven
  ...ager]". (These ideas were a motivating application for the "Stretching" paper, but the description got cut for lack of space.)
  13 KB (2,149 words) - 10:44, 17 July 2011
• Tutorials
  ...imon Thompson]. Unpublished, May 1997.<BR> <STRONG>Abstract:</STRONG> This paper explores how certain ideas in object oriented languages have their correspo ...kell, SML, C++, Java, C#. Haskell supports all constructs described in the paper -- the only language to do so. </blockquote>
  31 KB (4,662 words) - 08:38, 20 April 2024
• Research papers/Monads and arrows
  ...Surveys, 29(3):240--263, September 1997. A shorter version was an invited paper at ILPS 95, appearing in John Lloyd, editor, International Logic Programmin Free version of the above paper at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7278 or one o
  18 KB (2,331 words) - 09:02, 1 September 2022
• Type arithmetic
  Hallgren's 2001 paper
  8 KB (1,365 words) - 19:23, 15 August 2019
• GHC/Typed holes
  ...malized to what we call 'Free Theorems', pioneered by Philip Wadler in his paper '[http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf Theorems for Fr
  9 KB (1,711 words) - 20:19, 31 August 2014
• Humor/Wanda
  A substance that, injected into a rat, produces a scientific paper.
  8 KB (1,343 words) - 09:02, 13 March 2016
• Dutch HUG/Meetings
  ...l. Next, [http://www.cs.ru.nl/~wouters/ Wouter Swierstra] talked about his paper [http://www.cs.ru.nl/~wouters/Publications/DataTypesALaCarte.pdf Data types
  10 KB (1,483 words) - 02:59, 25 July 2021
• Template Haskell
  .../wp-content/uploads/2016/02/meta-haskell.pdf The original Template Haskell paper] ...on Template Haskell version 2], which describes changes since the original paper. Section 8 describes the difficulty with pattern splices, which are theref
  30 KB (4,551 words) - 00:29, 15 June 2023
• The Monadic Way
  [http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf paper]
  9 KB (1,615 words) - 15:16, 6 February 2021
• Xmonad/Guided tour of the xmonad source/Core.hs
  ...ers in general, I recommend reading Martin Grabmüller's excellent tutorial paper, [http://www.grabmueller.de/martin/www/pub/Transformers.en.html Monad Tran
  13 KB (2,057 words) - 10:15, 28 September 2017
• The Monad.Reader/Issue4/On Treaps And Randomization
  definable in Haskell by pattern matching. Drawing them on paper is a good
  17 KB (2,987 words) - 01:08, 10 May 2008
• CamHac/PostHackathonReport
  ...in my [http://www.cl.cam.ac.uk/~tp322/papers/docase.html Haskell Symposium paper].<br /><br />
  12 KB (1,833 words) - 12:53, 17 December 2012
• Ro/Boosting your Math. Faculty with Haskell
  Printed on acid-free paper Springer-Verlag London Limited 2006
  10 KB (1,417 words) - 09:49, 10 February 2011
• Chaitin's construction
  ...e for example in Section 4.1 of [https://tromp.github.io/cl/LC.pdf Tromp's paper].
  10 KB (1,527 words) - 09:31, 24 April 2024
• Tutorials/Programming Haskell/Introduction
  Haskell on paper by replacing all names with their definition, until you reach
  13 KB (1,817 words) - 17:53, 20 October 2016
• Existential type
  See the [http://www.cs.uu.nl/wiki/Ehc/#On_EHC documentation on EHC], each paper at the ''Version 4'' part:
  13 KB (2,093 words) - 10:57, 25 October 2023
• ZuriHac2016
  You can find more details in this paper:
  13 KB (1,982 words) - 10:32, 8 September 2016
• Foreign Function Interface
  ...download?doi=10.1.1.13.9123&rep=rep1&type=pdf "Tackling the awkward squad" paper] ...~simonmar/papers/conc-ffi.pdf "Extending the Haskell FFI with Concurrency" paper] (the number of capabilities is now greater than 1)
  33 KB (5,008 words) - 16:46, 20 December 2023
• News/2005
  a new version of their paper, "Haskell's overlooked object
  27 KB (3,675 words) - 12:12, 13 January 2007
• Introduction
  A slightly less formal essay inspired by the paper above can be found in ''Based on a paper by Simon Peyton Jones.''
  26 KB (4,102 words) - 23:54, 29 February 2020
• Haskell in web browser/Haskell web toolkit
  ...ommunication described here is derived from one discussed in the following paper:
  24 KB (3,619 words) - 14:49, 7 March 2012
• ZuriHac2015
  ...the way we'll find and fix a small problem with the initial discrimination paper, which opens the door to streaming results, rather than having to wait unti
  13 KB (2,000 words) - 08:31, 31 May 2015
• OOP vs type classes
  The paper that at first time introduced type classes and their implementation I thanks Ralf Lammel and Klaus Ostermann for their paper
  30 KB (4,685 words) - 01:34, 14 July 2021
• Research papers/Generics
  :Ralf Lämmel, Invited paper, Proceedings of WRS 2004 13 pages To appear in ENTCS, 2004
  15 KB (1,992 words) - 19:49, 26 May 2022
• Xmonad/Guided tour of the xmonad source/StackSet.hs
  ...ibooks.org/wiki/Haskell/Zippers Haskell wikibook entry on zippers], or the paper by Conor McBride, [http://www.cs.nott.ac.uk/~ctm/diff.pdf The Derivative of
  16 KB (2,690 words) - 16:02, 26 December 2022
• Cn/Introduction
  ''Based on a paper by Simon Peyton Jones.''
  22 KB (2,644 words) - 21:43, 29 October 2011
• Shootout/Regex DNA
  -- An idiomatic Haskell entry using lazy regex combinators, described in the paper: -- An idiomatic Haskell entry using lazy regex combinators, described in the paper:
  133 KB (20,540 words) - 08:31, 13 December 2009
• Monad tutorials timeline
  *: "This paper explores the use monads to structure functional programs. No prior knowledg ...transformers are rarely covered in introductory tutorials. This "is not a paper about implementing transformers, but about using them to write elegant, cle
  35 KB (4,953 words) - 00:05, 9 May 2024
• HaskellImplementorsWorkshop/2015
  [1]: One example that makes use of it is SYB optimizer described in the paper "Optimizing SYB is Easy!" by Adams et al.
  15 KB (2,190 words) - 21:19, 17 February 2016
• The Monad.Reader/Issue5/Practical Graph Handling
  depends on just too many things to fit in this paper,
  21 KB (3,170 words) - 18:18, 27 October 2011
• Lightweight concurrency
  ...ibraries. For an earlier attempt at this problem, please look at Peng Li's paper [https://repository.upenn.edu/cgi/viewcontent.cgi?article=1391&context=cis_
  19 KB (2,840 words) - 16:41, 1 August 2021
• Research papers/Data structures
  ...uckland Computer Science Report No. 71, and IFIP Working Group 2.1 working paper 705 WIN-2.
  14 KB (1,953 words) - 00:54, 5 June 2022
• Applications and libraries/Linguistics
  Chris Barker's paper [http://www.cs.bham.ac.uk/~hxt/cw04/barker.pdf Continuations in Natural Lan
  15 KB (2,211 words) - 16:44, 1 August 2021
• Haskell in practice
  ...kell, SML, C++, Java, C#. Haskell supports all constructs described in the paper -- the only language to do so.
  14 KB (2,263 words) - 06:31, 10 August 2022
• Typeclassopedia
  ...ivity, first described by McBride and Paterson. The title of their classic paper, [http://www.soi.city.ac.uk/~ross/papers/Applicative.html Applicative Progr McBride and Paterson’s paper introduces the notation <math>[[g \; x_1 \; x_2 \; \cdots \; x_n]]\ </math>
  179 KB (29,519 words) - 16:10, 30 December 2022
• Arch Linux/Applications
  ...s.php?ID=19146 foo 1.0-1] 1 Paper soccer, an OpenGL game.
  27 KB (2,482 words) - 19:02, 6 May 2020
• Numeric Haskell: A Repa Tutorial
  ...61.639&rep=rep1&type=pdf Guiding Parallel Array Fusion with Indexed Types] paper for a detailed explanation of each representation. A more advanced example from the Repa paper is matrix-matrix multiplication. The result of matrix multiplication is a m
  37 KB (5,672 words) - 07:28, 10 August 2022
• Untypechecking
  the regions. The monadic regions are described in the paper by M. Fluet
  20 KB (3,458 words) - 15:19, 6 February 2021
• Yhc/Javascript/Programmers guide
  ...phical User Interfaces (1995) by Rob Noble, Colin Runciman]. In fact, this paper was studied along with the Fudgets Thesis, and gave some inspiration to thi
  27 KB (4,152 words) - 01:58, 17 November 2007
• GHC/Using rules
  ...the rules: rewriting as a practical optimisation technique in GHC]. This paper, from the 2001 Haskell workshop, describes the idea of rewrite rules.
  19 KB (3,096 words) - 17:21, 4 February 2023
• QuotesPage
  <nowiki>*</nowiki> shapr begins his own paper "Generalizing Arrows to Spears" ...mikus> basically: The Chapter "Type-indexed datatypes" is based on the ... paper.
  55 KB (8,884 words) - 01:18, 10 November 2022
• Regular expressions
  About the paper in the above section: It never mentions the difference between longest vers
  18 KB (2,819 words) - 19:20, 15 August 2019
• HaskellImplementorsWorkshop/2016
  ...respects the division between package manager and compiler. This is not a paper design: it is principally motivated by our (ongoing) efforts to implement B
  16 KB (2,520 words) - 06:08, 16 October 2016
• Applications and libraries/Program development
  ...ricted Haskell syntax. It is based on the algorithm first presented in the paper "Deriving Structural Hylomorphisms From Recursive Definitions" at ICFP'96 b
  19 KB (2,935 words) - 13:50, 22 August 2022
• Research papers/Compilation
  ...ACM SIGPLAN symposium on Haskell 2009. ([http://vimeo.com/6688091 Video of paper presentation])
  19 KB (2,599 words) - 00:14, 15 June 2023
• News/2006
  ...rg/haskellwiki/Image:Building_an_interpreter.pdf available now] (pdf). The paper is a step by step guide on the building of a small monadic interpreter. The ...d in [http://research.microsoft.com/~tharris/papers/2006-transact.pdf this paper (pdf)]. There are two operations: <code>always X :: STM Bool -> STM ()</cod
  93 KB (13,836 words) - 23:40, 14 August 2019
• The Monad.Reader/Issue4/Why Attribute Grammars Matter
  Almost twenty years have passed since John Hughes influential paper [http://www.math.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Program
  22 KB (3,703 words) - 21:20, 30 May 2021
• HXT/Conversion of Haskell data from/to XML
  In a programming pearl paper [http://research.microsoft.com/~akenn/fun/picklercombinators.pdf] Andrew Ke
  28 KB (3,540 words) - 18:19, 5 January 2015
• The Monadic Way/Part I
  But I had also Wadler's paper, and started reading it. Well, just
  60 KB (9,727 words) - 17:00, 25 February 2010
• Yhc/TMR
  ...up Yhc, this is the section that would have been in the History of Haskell paper if they had done a Yhc section :)
  28 KB (4,378 words) - 13:10, 8 April 2007
• Arrays
  Like many GHC extensions, this is described in a paper: [http://www.cse.unsw.edu.au/~chak/papers/CK03.html An Approach to Fast Arr
  27 KB (4,333 words) - 06:09, 23 July 2020
• Haskell in industry
  ::[http://lambda-the-ultimate.org/node/3331 Simon Frankau et al's JFP paper on their use of Haskell] ...esearch paper on [http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf compiler]
  49 KB (6,836 words) - 08:57, 19 October 2020
• News/2007
  ...cessors. The NDP library is part of the Data Parallel Haskell project. The paper [http://www.cse.unsw.edu.au/~chak/papers/CLPKM07.html Data Parallel Haskell ...rticle.gmane.org/gmane.comp.lang.haskell.general/14793 mentioned] that the paper 'A History of Haskell: being lazy with class', authored by Paul Hudak, John
  78 KB (11,405 words) - 03:19, 11 February 2008
• GHC/Using the FFI
  ...ownload?doi=10.1.1.13.9123&rep=rep1&type=pdf Tackling the Awkward Squad] A paper by Simon Peyton-Jones which includes discussion of the issues surrounding t
  29 KB (4,766 words) - 05:52, 1 June 2022
• Why Haskell matters
  ...to be quite a bit harder. John Hughes had this to say on the topic in his paper [http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Programm
  33 KB (5,616 words) - 22:30, 3 May 2024
• IO inside
  ...arn about concurrency, exceptions and the FFI in Haskell/GHC, the original paper is the best source of information.
  82 KB (13,140 words) - 09:07, 3 May 2024
• Ru/IO Inside
  ...o learn about concurrency, exceptions and FFI in Haskell/GHC, the original paper is the best source of information.
  64 KB (6,046 words) - 11:23, 22 October 2022
• A practical Template Haskell Tutorial
  ...ent types in Haskell; see for instance [http://www.brics.dk/RS/01/10/ this paper] for a solution to simulate functions like <hask>curryN</hask> without depe
  45 KB (6,927 words) - 18:50, 16 November 2020
• GHC/FAQ
  ...CLR meta-data directly. But there are lots of tricky issues here; see the paper that Mark Shields and I wrote about "Object-oriented style overloading for
  36 KB (5,898 words) - 06:04, 10 August 2022
• All About Monads
  ...Jones' influential [https://web.cecs.pdx.edu/~mpj/pubs/springschool95.pdf paper] that inspired the Haskell monad template library. ...s and outputs a tray containing a finished pair of chopsticks in a printed paper wrapper. We could represent this in Haskell as:
  169 KB (26,630 words) - 00:15, 19 September 2021
• The I/O problem
  the paper which originally proposed ‘a new model, based on monads, for :<small>[https://www.mta.ca/~rrosebru/oldcourse/371199/haskell/paper.htm Functional Programming Using Haskell], Wade Estabrooks, Michael Goit an
  61 KB (9,234 words) - 04:14, 5 April 2024
• Haskellへのヒッチハイカーガイド
  actions on the piece of paper (that's us writing in "do" notation),
  73 KB (10,050 words) - 00:05, 19 April 2021
• Hitchhikers guide to Haskell
  actions on the piece of paper (that's us writing in "do" notation),
  69 KB (11,026 words) - 12:26, 9 January 2023

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