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!
Adam Foltzer
Adam Foltzer
Using Haskell since 2009
Reveal email address
http://blog.acfoltzer.net
I am not currently seeking employment
Living in Portland, Oregon
Twitter
acfoltzer
About Me
Research & Engineering at Galois, Inc.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Compilers
Concurrent Haskell
Cryptography
DSL Design
Formal Verification
Functional graphics programming (2D, 3D, GPU)
Parallelism
Programming language translation
Property based testing (QuickCheck)
UNIX Scripting
Packages
bit-vector
nbt
off-simple
persistent-refs
Check package dependency status.
Login with
Login using
— OR —