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!
David Sankel
David Sankel
Using Haskell since 2002
Reveal email address
http://netsuperbrain.com/blog
You can ask me about full- or part-time employment
Living in Spencerport, NY
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
DSL Design
Denotational design
Functional graphics programming (2D, 3D, GPU)
Programming language translation
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Login with
Login using
— OR —