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!
cyberglot
cyberglot
Using Haskell since 2007
Reveal email address
http://cyberglot.me
You can ask me about part-time employment
Living in Roskilde, Denmark
Twitter
cyberglot
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Concurrent Haskell
Formal Verification
Idris
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Parallelism
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Web development (HTML, CSS and Javascript)
Login with
Login using
— OR —