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!
Alejandro Serrano Mena
Alejandro Serrano Mena
Using Haskell since 2007
Reveal email address
http://serras-haskell-gsoc.blogspot.com/
You can ask me about part-time employment
Living in Madrid, Spain
About Me
PhD student at Universiteit Utrecht.
Author of "Beginning Haskell".
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Attribute Grammar
Compilers
DSL Design
Formal Verification
Monadic Parser Combinators
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Software packaging/distribution tools
Teaching Haskell
Web development (HTML, CSS and Javascript)
Packages
scion-browser
xmonad-extras
Check package dependency status.
Login with
Login using
— OR —
