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!
Christopher Blöcker
Christopher Blöcker
Using Haskell since 2008
Reveal email address
I am not currently seeking employment
Living in Umeå, Hoppets Gränd
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Artificial Intelligence
Bioinformatics
Compilers
Computer algebra
Concurrent Haskell
DSL Design
Databases
Denotational design
Distributed systems
Formal Verification
Machine Learning
Metaprogamming via Template Haskell
Monadic Parser Combinators
Parallelism
Reactive programming
UNIX Scripting
Yesod Web Framework
Login with
Login using
— OR —