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!
Augusto Passalaqua
Augusto Passalaqua
Using Haskell since 2009
Reveal email address
You can ask me about part-time employment
Living in Utrecht, The Netherlands
Twitter
augpassalaqua
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Attribute Grammar
Databases
Formal Verification
Generic Programming
Graphical User Interfaces
Happstack Web Framework
Network programming
Programming using Arrows
Property based testing (QuickCheck)
Snap Web Framework
UNIX Scripting
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Login with
Login using
— OR —