Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
461	Combining Proofs and Programs Stephanie Weirich University of Pennsylvania June 1, 2011 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Computing Dependent type Agda Ωmega Haskell Coq Epigram Type theory Functional programming Functional languages Software engineering Programming language theory
462	Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-eﬀective form of lightweight program veriﬁcation. They provide Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-01 09:01:37 Type theory Functional programming Data types Functional languages International Conference on Functional Programming POPLmark challenge Principles of Programming Languages SIGPLAN Haskell Software engineering Computing Programming language theory
463	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
464	A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2 Add to Reading List Source URL: dreixel.net Language: English - Date: 2014-11-04 15:52:18 Data types Type theory Functional programming Glasgow Haskell Compiler Generic programming Map Tagged union Monad Software engineering Computing Computer programming
465	c Cambridge University Press 2011 JFP 21 (4 & 5): 413–465, 2011. 413 doi:S0956796811000189 First published online 16 August 2011 Add to Reading List Source URL: okmij.org Language: English - Date: 2011-11-24 23:45:09 Functional languages Functional programming Literate programming Monad Curry Haskell Combinatory logic Actor model Lazy evaluation Software engineering Computing Computer programming
466	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
467	Date: May 6, 2015 Contact: Jessica Kershaw, Secretary Jewell to Deliver Commencement Address at Haskell Indian Nations University Ceremony Marks First Address to Haskell by a U.S. Secretary of Add to Reading List Source URL: www.bia.gov Language: English - Date: 2015-05-06 12:03:31 Haskell Indian Nations University North Central Association of Colleges and Schools Year of birth missing Haskell Lawrence Kansas Commencement speech Douglas County Kansas Kansas American Indian Higher Education Consortium
468	Composable Scheduler Activations for Haskell KC Sivaramakrishnan Tim Harris1 Simon Marlow1 Add to Reading List Source URL: kcsrk.info Language: English Scheduling algorithms Concurrent Haskell Software design patterns Scheduling Scheduler activations Thread Software transactional memory Continuation Monad Computing Software engineering Computer programming
469	The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report Manuel Chakravarty [editor], University of New South Wales Sigbjorn Finne, Galois Connections, Inc. Fergus Henderson, University of Melbo Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2003-12-01 01:25:26 Functional languages Data types Type theory Foreign function interface Subroutines Haskell Fold Id Kind Software engineering Computing Computer programming
470	Programming Many-core Systems with Embedded Domain Specific Languages Satnam Singh Add to Reading List Source URL: ulf.wiger.net Language: English - Date: 2008-02-20 06:04:57 Programming language theory VHDL Verilog Domain-specific language Haskell Field-programmable gate array Hardware description languages Software engineering Computing

UPDATE