Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Darin Morrison
Darin Morrison
Using Haskell since 2003
Reveal email address
You can ask me about full- or part-time employment
Living in Portland, OR
AIM
darinmorrison
Freenode
darinmorrison
Twitter
darinmorrison
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Artificial Intelligence
Cabal internals
Categorical Programming
Compilers
Computer algebra
DSL Design
Databases
Denotational design
Formal Verification
GHC internals
Generic Programming
Machine Learning
Metaprogamming via Template Haskell
Monadic Parser Combinators
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Software packaging/distribution tools
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
mpppc
pisigma
Check package dependency status.
Login with
Login using
— OR —
