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!
Sebastian Hoehn
Sebastian Hoehn
Using Haskell since 1996
Reveal email address
http://www.sug.uni-freiburg.de
You can ask me about full-time employment
Living in Emmendingen, Germany
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Concurrent Haskell
Databases
Formal Verification
Machine Learning
Natural Language Processing (tagging, parsing, translation,...)
Network programming
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Teaching Haskell
Transactional business applications development
Yesod Web Framework
Login with
Login using
— OR —