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!
Joachim Breitner
Joachim Breitner
Using Haskell since 2005
Reveal email address
http://www.joachim-breitner.de/
You can ask me about full- or part-time employment
Living in Karlsruhe
Freenode
nomeata
Twitter
nomeata
About Me
Academic, GHC hacker, Free Software author and general tinkerer.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Compilers
Formal Verification
GHC internals
Graphical User Interfaces
Monadic Parser Combinators
Packaging for Debian
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Reactive programming
Reverse Engineering
Software packaging/distribution tools
Systems programming
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
arbtt
ghc
gipeda
tttool
Check package dependency status.
Login with
Login using
— OR —