Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
81	Implementing a High-level Distributed-Memory Parallel Haskell in Haskell Patrick Maier and Phil Trinder School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK {P.Maier,P.W.Trinder}@hw.ac.uk Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
82	Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology Add to Reading List Source URL: www.arashrouhani.com - Date: 2016-12-09 06:50:51
83	Injective Type Families for Haskell Add to Reading List Source URL: research.microsoft.com - Date: 2015-08-24 05:10:58
84	Haskell in the Large Don Stewart Google Tech TalkHaskell in the Large Add to Reading List Source URL: dshevchenko.biz - Date: 2016-12-15 04:38:23
85	Embedding Session Types in Haskell Sam Lindley J. Garrett Morris The University of Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2016-07-29 11:16:16
86	In submission Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com - Date: 2016-04-15 08:18:29
87	Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell∗ MARK P. JONES Add to Reading List Source URL: web.cecs.pdx.edu - Date: 2005-10-01 03:15:10
88	Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of Add to Reading List Source URL: web.cecs.pdx.edu - Date: 2014-01-24 04:02:53
89	SpringIntroduction to Haskell Shachar Itzhaky & Mooly Sagiv (original slides by Kathleen Fisher & John Mitchell) Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2014-03-10 02:48:48
90	Experience on implementing a Web server in Haskell Kazu Yamamoto 1 Add to Reading List Source URL: www.mew.org - Date: 2014-06-17 02:23:25

UPDATE