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!
Daniel Peebles
Daniel Peebles
Using Haskell since 2008
Reveal email address
http://pumpkinpat.ch
Freenode
copumpkin
Twitter
copumpkin
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Categorical Programming
Concurrent Haskell
DSL Design
Denotational design
Digital Forensics
Foreign Function Interface (FFI)
Formal Verification
GHC internals
Generic Programming
High-performance Haskell
Natural Language Processing (tagging, parsing, translation,...)
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Reverse Engineering
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
enumerable
spoon
vector-mmap
vector-static
Check package dependency status.
Login with
Login using
— OR —