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!
Michael Schröder
Michael Schröder
Using Haskell since 2009
Reveal email address
You can ask me about full- or part-time employment
Living in Vienna, Austria
Twitter
schrototo
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Compilers
Concurrent Haskell
Foreign Function Interface (FFI)
Formal Verification
GHC internals
Network programming
Programming language translation
Systems programming
Teaching Haskell
Web development (HTML, CSS and Javascript)
Packages
ctrie
ttrie
welshy
Check package dependency status.
Login with
Login using
— OR —