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!
Paul Brauner
Paul Brauner
Using Haskell since 2007
Reveal email address
http://www.loria.fr/~brauner
I am not currently seeking employment
Living in Zürich
Twitter
polux_2dot0
XMPP
[email protected]
About Me
I am an engineer at Google.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Denotational design
Formal Verification
Generic Programming
Programming language translation
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Teaching Haskell
Packages
haltavista
hgom
Check package dependency status.
Login with
Login using
— OR —
