Search results
Jump to navigation
Jump to search
File:Types2.ps Draft of the paper : Adaptable Software - Modular Extensible Monadic Entry-pointless Type Chec(748 KB) - 16:28, 26 March 2011File: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 2009File: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- you should probably read the yampa arcade paper and the original yampa paper1 KB (255 words) - 02:45, 11 March 2006
- == 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- 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 others3 KB (487 words) - 00:58, 18 November 2011
- ...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 pro2 KB (316 words) - 09:28, 11 November 2011
- * [http://www.cs.nott.ac.uk/~gmh/bib.html#countdown Graham Hutton] (JFP paper)462 bytes (73 words) - 10:20, 13 January 2007
- the availability of the paper "Type Checking Type Classes". <p><em>The Spineless Tagless G-machine: detailed paper</em>. Simon L Peyton Jones4 KB (611 words) - 05:59, 21 August 2007
- 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 gener3 KB (486 words) - 21:52, 29 June 2021
- 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- *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 introduction2 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 2009File: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- This paper describes the history of Haskell, including its genesis and principles, tec672 bytes (83 words) - 15:35, 11 October 2010
- ...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
- 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
- See the paper: http://plv.mpi-sws.org/backpack/ In this paper, we present Backpack, a new language for building separately-typecheckable2 KB (285 words) - 13:42, 16 March 2018