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!
Arthur Baars
Arthur Baars
Using Haskell since 1996
Reveal email address
I am not currently seeking employment
Living in Oxford, UK
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Attribute Grammar
Bioinformatics
Categorical Programming
Compilers
DSL Design
Generic Programming
Metaprogamming via Template Haskell
Monadic Parser Combinators
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Purely functional data structures — design and implementation
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
tiger
TTTAS
uuagc
uu-parsinglib
Check package dependency status.
Login with
Login using
— OR —