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!
Calvin Beck
Calvin Beck
Using Haskell since 2011
[email protected]
You can ask me about full- or part-time employment
Living in Edmonton, Alberta
Twitter
Chobbez
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Agile software development
Compilers
Concurrent Haskell
Cryptography
DSL Design
Databases
Formal Verification
Functional graphics programming (2D, 3D, GPU)
Game development
Hardware Acceleration DSLs
Haskell on embedded devices
Idris
Monadic Parser Combinators
Network programming
Parallelism
Physics & Simulation
Programming language translation
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Systems programming
Teaching Haskell
UNIX Scripting
Login with
Login using
— OR —