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!
Dr. Gergő Érdi
Dr. Gergő Érdi
Using Haskell since 2007
Reveal email address
http://gergo.erdi.hu/
You can ask me about full-time employment
Living in Singapore
Freenode
_Cactus_
Twitter
gergoerdi
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Compilers
DSL Design
Formal Verification
GHC internals
Graphical User Interfaces
Monadic Parser Combinators
Programming language translation
Quantitative Finance
Snap Web Framework
UNIX Scripting
Packages
kansas-lava-papilio
kansas-lava-shake
language-java-classfile
Check package dependency status.
Login with
Login using
— OR —