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!
max carbone
max carbone
Reveal email address
Living in Lausanne, Switzerland
About Me
Categorically lazy.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Artificial Intelligence
Bioinformatics
Categorical Programming
Compilers
Computational Geometry
Computer algebra
Concurrent Haskell
DSL Design
Formal Verification
Functional graphics programming (2D, 3D, GPU)
Generic Programming
Idris
Machine Learning
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Numerical Computation
Physics & Simulation
Programming language translation
Purely functional data structures — design and implementation
Reverse Engineering
Login with
Login using
— OR —