Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply)

Source URL: ndmitchell.com

• Data types
• Software engineering
• Computing
• Computer programming
• Functional programming
• Type class
• Type theory
• Haskell features
• Boolean data type

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Source URL: ndmitchell.com

• Software engineering
• Mathematics
• Declarative programming
• Lambda calculus
• Functional programming
• Functions and mappings
• Let expression
• Embedding
• Monad
• Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Lambda calculus
• Subroutines
• Functional languages
• Literate programming
• Monad
• Let expression
• Glasgow Haskell Compiler
• Anonymous function

Uniform Boilerplate and List Processing Or: Scrap Your Scary Types Neil Mitchell and Colin Runciman, Haskell Workshop, 2007

Source URL: ndmitchell.com

• Haskell
• Literate programming
• Literal
• Monad

Hoogλe Fast Type Searching Neil Mitchell www.cs.york.ac.uk/~ndm/

Source URL: ndmitchell.com

• Software engineering
• Computing
• Computer programming
• Data types
• Finite automata
• Trie
• Haskell
• Edit distance
• Set
• String
• Associative containers

Shake Before Building Replacing Make with Haskell Neil Mitchell community.haskell.org/~ndm/shake

Source URL: ndmitchell.com

• Software
• Computer programming
• Build automation
• Compiling tools
• Make
• SCons
• Haskell
• Waf
• Monad
• Dependency graph
• Cabal
• GNU Compiler Collection

Flexible Dynamic Information Flow Control in Haskell Deian Stefan1 Alejandro Russo2 John C. Mitchell1

Source URL: cseweb.ucsd.edu

Attribute Grammars Fly First-Class How to do Aspect Oriented Programming in Haskell Marcos Viera S. Doaitse Swierstra

Source URL: www.staff.science.uu.nl

Flexible Dynamic Information Flow Control in Haskell Extended Version Deian Stefan1 Alejandro Russo2

Source URL: www.cse.chalmers.se

Functional Pearl: Two Can Keep a Secret, If One of Them Uses Haskell ∗ Alejandro Russo †

Source URL: www.cse.chalmers.se