Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
491	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 19:52:39 Type theory Data types Functional languages Functional programming Glasgow Haskell Compiler Type system Haskell Type safety C Software engineering Computing Computer programming
492	The ThoughtWorks Anthology 2 Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-10-25 15:50:47 Functional languages Type theory Data types Subroutines Haskell Literate programming Io Main function Type class Computing Software engineering Computer programming
493	Giving Haskell a Promotion Brent A. Yorgey Stephanie Weirich University of Pennsylvania {byorgey,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:27 Computing Programming language theory Functional programming Kind Polymorphism Type class System F Type system Generic programming Type theory Software engineering Data types
494	TIM CHEVALIER Objective A full-time position at the intersection of software development and computer science research. Particularly interested in applying advanced, type-safe programming languages to real-world applicat Add to Reading List Source URL: catamorphism.org Language: English - Date: 2013-10-04 23:39:47 Cross-platform software Scripting languages Haskell Literate programming OpenLaszlo Tcl GrammaTech Deforestation Java Computing Software engineering Computing platforms
495	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
496	Keith WANSBROUGH Address: 31 Wallace Brae Drive, Reddingmuirhead Falkirk FK2 0FB, Scotland Add to Reading List Source URL: www.lochan.org Language: English - Date: 2013-02-23 18:57:58 Haskell Literate programming Programming language Principles of Programming Languages Linux University of Auckland Computer science Auckland University of Cambridge Computer Laboratory Computing Software engineering Association for Computing Machinery
497	USENIX Association Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference Boston, MA, USA June 27–July 2, 2004 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:39 Subroutines Cross-platform software Programming language implementation Recursion Compiler construction GNU Compiler Collection Treelang Glasgow Haskell Compiler Register transfer language Software engineering Computer programming Computing
498	Certified HLints with Isabelle/HOLCF-Prelude Joachim Breitner1∗, Brian Huffman2 , Neil Mitchell3 and Christian Sternagel4† 1 Karlsruhe Institute of Technology, 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-09 08:11:26 Functional programming Functional languages Recursion Literate programming Type class Type theory Haskell Monad Pattern matching Software engineering Declarative programming Computing
499	Dependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:08 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Algebraic data type Haskell Generic programming Software engineering Type theory Computing
500	Statement of Purpose Marie-Christine R. Chevalier I fell in love with programming on the second day of my first computer science class. I remember the moment distinctly. The professor was demonstrating a program to draw Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 17:01:43 Programming paradigms Deforestation Functional programming Programming language Haskell Glasgow Haskell Compiler Imperative programming Type inference Algorithm Software engineering Computing Computer programming

UPDATE