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!
Arie Middelkoop
Arie Middelkoop
Using Haskell since 2001
Reveal email address
Living in Kaiserslautern, Germany
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Agile software development
Attribute Grammar
Cabal internals
Categorical Programming
Compilers
Computer algebra
Concurrent Haskell
DSL Design
Databases
Distributed systems
Foreign Function Interface (FFI)
Generic Programming
Happstack Web Framework
Metaprogamming via Template Haskell
Monadic Parser Combinators
Network programming
Parallelism
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Quantitative Finance
Reactive programming
Reverse Engineering
Software packaging/distribution tools
Streaming data (conduit/enumerator/pipes)
Systems programming
Teaching Haskell
Transactional business applications development
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
helium
uhc
uuag
Check package dependency status.
Login with
Login using
— OR —