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
  • File:ARA2-paper-RO.pdf
    ...demy of Arts and Sciences by Dan Popa. Here is a translated version of the paper.
    (165 KB) - 10:00, 26 May 2010
  • 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
  • File:AdaptiveDFA-Bc (copy)-pg113.pdf
    This paper is a part of the theory of Adaptive Automata - a new branch (2005) of the Due to some problems of the original website the .pdf of the paper was rebuild and uploaded here. The Adaptive DFA was also implemented in: Ha
    (109 KB) - 21:36, 4 February 2010
  • Talk:AngloHaskell/2008
    1) Can I send a small paper to be presented by anybody else (a student for example, or an assistent, or 2) Or can I send a ppt presentation instead of a paper, to be presented by anybody else (a student for example, or an assistent, o
    890 bytes (141 words) - 19:20, 4 August 2008
  • 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
  • File:Popa Dan fullpaper template.pdf.zip
    Draft, dated from 16 of may 2011, of the paper scheduled for the ARA Congress.
    (111 KB) - 17:56, 13 July 2011
  • File:Popa Dan fullpaper template.pdf
    Draft, dated from 16 of may 2011, of the paper scheduled for the ARA Congress.
    (115 KB) - 17:56, 13 July 2011
  • 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
  • File:ExperimentExp8Linux.zip
    Binary of the [[Rodin]] ExperimentExp8 - 8/08/2009. Paper - (en.) included in the archive. For Linux.
    (578 KB) - 16:09, 10 August 2009
  • File:ADFA.png
    The Haskell program from the paper may be trained with examples of numebers in order to get something izomorph
    (626 × 204 (8 KB)) - 11:35, 26 May 2010
  • File:SITC2004.PRN.pdf
    Draft produced during the preparation of a paper concerning Adaptive Automata. It was presented at SITC 2004. Chisinau Rep.
    (300 KB) - 19:31, 3 December 2008
  • File:Expression Problem Solved.pdf
    Exactly one year ago, the oficial .sxw of the paper which solved The Expresssion Problem was released. The .sxw is still there,
    (129 KB) - 20:04, 29 July 2009
  • File:ICMI45-paper-en.pdf
    This paper was scheduled for ICMI45, (2006).
    (299 KB) - 21:54, 29 October 2007
  • Talk:SantaClausProblem
    ...lace to contribute any post-publication thoughts or observations about the paper, if you wish. ...an about both Haskell and STM in the past few months and not only did this paper greatly increase my knowledge of STM, but it also helped increase my unders
    4 KB (656 words) - 08:12, 6 January 2009
  • Talk:Applicative functor
    ...erhaps someone can expand on the "Another Essence of Dataflow Programming" paper [2].
    360 bytes (53 words) - 02:23, 9 October 2007
  • 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
  • File:Building an interpreter.pdf
    The paper was accepted at ICMI 45, sept 2006, Bacau Romania.
    (275 KB) - 09:33, 27 November 2006
  • File:Types2.ps
    Draft of the paper : Adaptable Software - Modular Extensible Monadic Entry-pointless Type Chec
    (748 KB) - 16:28, 26 March 2011
  • File:RodinExperiment10.zip
    ...Haskell Platform 2.0.2 on a clean reinstalled Windows Vista. Examples and paper included. Vector's modules revised. Dan Popa
    (643 KB) - 09:28, 14 August 2009
  • File:Prolog.pdf
    ...he Prolog Engine (like Andorra) in any DSL you wish. Prolog.pdf was just a paper concerning Prolog used in Mathematics. Published by Creative Math. Baia Mar
    (143 KB) - 05:45, 18 November 2008
  • User:JohannesAhlmann/WIP/YampaTutorial
    you should probably read the yampa arcade paper and the original yampa paper
    1 KB (255 words) - 02:45, 11 March 2006
  • Talk:GraphParserCombinators
    == Link to paper is dead ==
    264 bytes (38 words) - 02:12, 13 February 2019
  • File:Image.jpg
    ...niv. of Iasi, Romania indirectly accepted that he was using pages from the paper of Tom Niemann in process of preparing one of his course concerning Compil
    (1,274 × 726 (245 KB)) - 21:21, 5 February 2010
  • User talk:ConradParker/InstantInsanity
    This is a discussion page for the paper [[User:ConradParker/InstantInsanity|Type-Level Instant Insanity]]. 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 (487 words) - 00:58, 18 November 2011
  • 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
  • File:Cap8-nou-Assembler.pdf
    (Romanian version of the paper, as a chapter of a (posible) future book.)
    (254 KB) - 07:30, 4 December 2006
  • 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
  • File:POPA D.pdf
    The paper is introducing [[Pseudoconstructors over monadic values]] as a way of build
    (343 KB) - 12:55, 19 March 2009
  • File:Prezentare-Anglo-Haskell-2008-draft2-more-slides.pdf
    >"If you can send us a ppt/pdf presentation and the paper, we will try and find
    (358 KB) - 23:27, 4 August 2008
  • 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
  • Talk:Applications and libraries/GUI libraries
    ...and well-maintained libraries hide between the last remnants of a research paper. I have tried to look through the documentation (if still available) and tr **Pidgets - cannot find anything but a reference to a 13 year old paper.
    3 KB (441 words) - 23:17, 4 June 2011
  • 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
  • Talk:Applicative data-driven programming
    ...iew. The first thing that jumps out at me is that I like the style of the paper, the level of coding and the accesibility of the examples. One part that fe ...ol,bidprice,askprice,bidquantity,askquantity)]. So, can the ideas in your paper be used to solve such 'event processing' problems without littering my code
    4 KB (695 words) - 05:52, 4 June 2007
  • 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
  • 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
  • Talk:Grapefruit
    ...information about wxFruit? Or did wxFruit die after Bart had written his paper?
    4 KB (565 words) - 21:29, 3 October 2007
  • 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
  • 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
    4 KB (479 words) - 09:56, 15 May 2024
  • Talk:The Monad.Reader
    US-style letter paper is 8.5 x 11 inches, 18cm shorter than the A4 paper used here. It would be most useful to US readers to build a Letter version
    3 KB (510 words) - 16:32, 20 November 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 (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
  • Lazy vs. non-strict
    ...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
  • GHC/Type system/PolyKinds
    ...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
  • News/1997
    that the paper "Type classes: an exploration of the design space" was available
    5 KB (630 words) - 12:09, 13 January 2007
  • Extensible record
    * [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
  • GHC.Generics
    ...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
  • Simonpj/Talk:OutsideIn
    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
  • BayHac2013/Denotative Programming
    <li>The seminal paper on DSELs</li>
    2 KB (316 words) - 14:12, 14 October 2021
  • Ru/Introduction to QuickCheck
    * 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
  • Introduction to QuickCheck1
    * 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
  • Idiom brackets
    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
  • Applications and libraries/Database interfaces/HaskellDB/Archive
    HaskellDB was originally developed by Daan Leijen, and is described in the paper Domain Specific Embedded Compilers, Daan Leijen and Erik Meijer. 2nd USENIX ...4D927950052C15CA41?doi=10.1.1.26.6906&rep=rep1&type=pdf Original HaskellDB paper]
    8 KB (1,042 words) - 15:22, 31 August 2010
  • User:Uchchwhash
    ....microsoft.com/~simonpj/papers/not-not-ml/index.htm Haskell is not not ML] paper (and Philip Wadler's [http://homepages.inf.ed.ac.uk/wadler/topics/dual.html
    4 KB (707 words) - 00:10, 4 January 2007
  • Exact real arithmetic
    ...~karczma/arpap/ Jerzy Karczmarczuk]'s ''(wonderful, wonderful! gem of a)'' paper with the funny title [http://users.info.unicaen.fr/~karczma/arpap/lazypi.ps
    3 KB (453 words) - 19:45, 26 December 2012
  • GHC/Kinds
    ...More details can be found in [http://dreixel.net/research/pdf/ghp.pdf this paper].
    2 KB (289 words) - 16:02, 28 February 2014
  • Applications and libraries/Data structures
    ...bags. ([http://www.eecs.usma.edu/Personnel/okasaki/pubs.html#hw00 overview paper]).
    17 KB (2,508 words) - 07:09, 8 June 2023
  • Laziness is not always good
    * Amanda Clare has written a paper on various methods for twisting the evaluation order: http://users.aber.ac.
    2 KB (342 words) - 09:27, 9 June 2023
  • Monad Transformers Explained
    ...a present in that regard: in this example we unwrapped the outer wrapping paper to get to the present: an object of type <hask>IO ()</hask>, which lets us
    4 KB (737 words) - 13:16, 5 November 2012
  • Zipper
    * Note that in the original paper, Huet dealt with B-trees (ones where nodes have arbitrary numbers of branch ...exed data types] by Ralf Hinze, Johan Jeuring and Andres Löh, or a similar paper [http://www.staff.science.uu.nl/~jeuri101/homepage/Publications/ghpractice.
    10 KB (1,623 words) - 21:10, 26 June 2023
  • Haskell Lisp
    ...ort for Racket’s macro system, built using the techniques described in the paper [http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf Type Systems as * [https://github.com/haskell-lisp/liskell Liskell] - From the ILC 2007 paper: "Liskell uses an extremely minimalistic parse tree and shifts syntactic cl
    5 KB (799 words) - 16:55, 23 March 2021
  • Stiri Ro/Congrese
    . Deadline for Full Paper Submission: March 31, 2011
    3 KB (368 words) - 06:49, 24 March 2011

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

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