Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
551	Obituary The Australian[removed]by William Grono and Dennis Haskell Author. Born Geraldton, WA, November 28, 1935. Died Essex, Britain, May 29, 2010, aged 74. Randolph Stow was a kind of Australian Camus: an existential Add to Reading List Source URL: cbca.org.au Language: English - Date: 2010-07-16 05:31:28 Western Australia Geraldton Stow Guildford Grammar School To the Islands ALS Gold Medal Australian literature Randolph Stow States and territories of Australia
552	WESTERLY CENTRE, UWA CREATIVE WRITING AND ITS CONTEXTSA SYMPOSIUM FOR DENNIS HASKELL Add to Reading List Source URL: www.westerlycentre.uwa.edu.au Language: English - Date: 2011-02-08 00:05:30 MasterCard Visa Inc. Financial economics Business Credit cards Email Financial services
553	oems[removed]Volume 2 of the Australian Poetry Ltd Members’ Anthology ed. Jessica Friedmann, Dennis Haskell, and Chris Wallace-Crabbe Add to Reading List Source URL: www.australianpoetry.org Language: English - Date: 2014-02-11 23:14:34
554	G R A N D F A T H E R S O F Add to Reading List Source URL: expo67.ncf.ca Language: English - Date: 2011-05-30 20:40:02 Bilingualism in Canada Language policy Culture of Montreal English-speaking Quebecer Québécois Quebec City Stanstead Quebec Eastern Townships Haskell Free Library and Opera House Quebec Canada Culture of Quebec
555	AUSTRALIAN EPHEMERA COLLECTION FINDING AID THE BALLETS RUSSES IN AUSTRALASIA, [removed]PRINTED AUSTRALIANA AUGUST 2014 Add to Reading List Source URL: www.nla.gov.au Language: English - Date: 2015-01-01 21:28:24 Ballet choreographers Ballets Russes choreographers Ballets Russes and descendants Danseurs Ballets Russes Léonide Massine Wassily de Basil Michel Fokine Arnold Haskell Ballet Dance Ballets Russes dancers
556	Programming in I DRIS: A Tutorial The I DRIS Community 15th January 2015 Contents 1 Introduction Add to Reading List Source URL: www.idris-lang.org Language: English - Date: 2015-01-15 05:24:10 Data types Type theory Functional programming Functional languages OCaml Type system Haskell C++ classes Algebraic data type Software engineering Computing Computer programming
557	Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Logic in computer science Functional languages L4 microkernel family Isabelle Microkernel Formal verification Kernel Gernot Heiser Haskell Computer architecture Computing Software
558	c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Build automation Functional programming Make Apache Ant Type system Monad Parallel computing Software Computing Compiling tools
559	ML Modules and Haskell Type Classes: A Constructive Comparison Stefan Wehr1 and Manuel M. T. Chakravarty2 1 2 Add to Reading List Source URL: www.cse.unsw.edu Language: English - Date: 2008-09-03 00:59:35 Type theory Functional languages Data types Procedural programming languages Functional programming Type class Standard ML Monad ML Software engineering Computing Computer programming
560	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing

UPDATE