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!
Anders Claesson
Anders Claesson
Using Haskell since 1998
Reveal email address
http://akc.is
You can ask me about full- or part-time employment
Living in Reykjavik, Iceland
About Me
I'm using and teaching Haskell in my role as a professional mathematician / computer scientist.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Computer algebra
Foreign Function Interface (FFI)
Numerical Computation
Property based testing (QuickCheck)
Systems programming
Teaching Haskell
UNIX Scripting
Packages
hops
opn
sloane
spe
sym
sym-plot
Check package dependency status.
Login with
Login using
— OR —