Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
571	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
572	Haskell for EDSLs Andres L¨ oh Utrecht University [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Data types Type theory Haskell Literate programming Functional programming Generic programming Glasgow Haskell Compiler Pattern matching Software engineering Computing Computer programming
573	Case3:10-cv[removed]WHA Document716 Filed02[removed]Page1 of[removed]MARKET STREET SAN FRANCISCO CALIFORNIA[removed]TELEPHONE: [removed]FACSIMILE: [removed] Add to Reading List Source URL: www.groklaw.net Language: English - Date: 2012-02-17 16:04:31 Morrison & Foerster Google World Wide Web Business Computing Oracle Corporation William Haskell Alsup
574	Monads for Free! Andres Löh Haskell eXchange – 9 October 2013 Copyright © 2013 Well-Typed LLP . Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-10-16 05:25:29 Control flow Type theory Data types Functional programming Functional languages Eval Type system Monad Haskell Software engineering Computing Computer programming
575	COVER ARTIST Allen KnowsHisGun Cover Artwork: Blue Scout in the Absarokee Mountains A Add to Reading List Source URL: www.indiangaming.com Language: English - Date: 2013-04-08 09:32:13 North Central Association of Colleges and Schools Absarokee Montana Year of birth missing Allen Geography of the United States Crow tribe Kansas American Indian Higher Education Consortium Haskell Indian Nations University
576	Qualified Types for ML-F Daan Leijen and Andres L¨oh 27 September 2005 Motivation / contribution Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Type inference Type system ML Hindley–Milner Type class Id Haskell Polymorphism Software engineering Type theory Programming language theory
577	An Introduction to (Deterministic) Parallelism in Haskell Munich Lambda Meetup Andres Löh 17 February 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-02-18 05:47:11 Haskell Literate programming Parallel computing Type system Thread Parallelism Subroutine Haskell 98 features Lambda calculus Computing Computer programming Software engineering
578	Advances in Programming Languages APL6: Types, Classes, Haskell 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-07 19:06:11 Programming language theory Haskell Structural type system Type signature Nominative type system Polymorphism Abstract type Type class Java Software engineering Computing Type theory
579	Towards Haskell in the Cloud Jeff Epstein University of Cambridge [removed] Andrew P. Black Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 11:56:14 Functional programming Data types Type theory Functional languages Subroutines Erlang Serialization Haskell Closure Software engineering Computing Computer programming
580	Structural polymorphism in Generic Haskell ¨ Andres Loh [removed] 5 February 2005 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Data types Type theory Haskell Literate programming Generic programming Factorial Type system D Software engineering Computing Computer programming

UPDATE