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!
Francisco José CHAVES ALONSO
Francisco José CHAVES ALONSO
Using Haskell since 1998
[email protected]
You can ask me about full- or part-time employment
Living in Bogotá, Colombia
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Attribute Grammar
Compilers
DSL Design
Databases
Formal Verification
Functional graphics programming (2D, 3D, GPU)
Graphical User Interfaces
Idris
Metaprogamming via Template Haskell
Monadic Parser Combinators
Programming language translation
Property based testing (QuickCheck)
Prototyping
Systems programming
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Login with
Login using
— OR —