© ACM, 2016. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the Haskell Works

Source URL: ndmitchell.com

• Build automation
• Compiling tools
• Glasgow Haskell Compiler
• Make
• Haskell
• Automake
• Cabal
• Apache Ant
• Include directive
• Monad
• Yi

c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: community.haskell.org

• Lambda calculus
• Functional programming
• Subroutines
• Formal methods
• Theoretical computer science
• Combinatory logic
• Let expression
• Lambda lifting
• Anonymous function
• Monad
• Closure
• Partial application

HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1

Source URL: www.scs.stanford.edu

• Convex analysis
• Mathematical optimization
• Convex optimization
• Operations research
• Variational analysis
• Subgradient method
• Subderivative
• Ellipsoid method
• Convex function
• Generalized algebraic data type
• Convex set
• Map

Effective Concurrency with Algebraic Effects Stephen Dolan1, Leo White2, KC Sivaramakrishnan1, Jeremy Yallop1, Anil Madhavapeddy1 1

Source URL: kcsrk.info

• Parallel computing
• Functional languages
• Concurrent programming languages
• Scala
• Haskell
• Concurrent computing
• Data parallelism
• Parallelism
• Scheduling

A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University

Source URL: www.haskell.org

• Type theory
• Data types
• Functional programming
• Functional languages
• Literate programming
• Monad
• Haskell
• Algebraic data type
• Pattern matching
• Kind
• Polymorphism
• Type inference

Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh

Source URL: www.inf.ed.ac.uk

• Type theory
• Functional languages
• Object-oriented programming languages
• Type systems
• Data types
• Haskell
• Structural type system
• Duck typing
• D
• Type signature
• OCaml
• Abstract type

Guide2lhs2TeX (for version 1.12) ¨ Ralf Hinze and Andres Loh ¨ Informatik III, Universit¨at Bonn Institut fur

Source URL: www.andres-loeh.de

• Higher-order functions
• Programming language comparisons
• Map
• Haskell
• Fold
• Literate programming
• Comment
• LaTeX
• TeX
• Directive
• Conditional
• Filesystem Hierarchy Standard

Hat: Windows and WIMP Neil Mitchell Progress Updates I have:  Ported the Hat tools to Windows

Source URL: community.haskell.org

Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers.

Source URL: www.cse.chalmers.se

• Algebraic structures
• Semigroup theory
• Functional programming
• Type theory
• Automated theorem proving
• Monoid
• Monad
• Type class
• Semiring
• IP
• Haskell
• Free monoid

HASKELL FAMILY (PIKE HILL) CEMETERY N43*40.3 – W70*20.8 Last First/Maiden

Source URL: www.westbrookhistoricalsociety.org

• Haskell
• Literate programming