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!
Chung-chieh Shan
Chung-chieh Shan
Using Haskell since 2001
[email protected]
http://www.cs.rutgers.edu/~ccshan/
You can ask me about full- or part-time employment
Living in Ithaca, NY
Twitter
ccshan
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Artificial Intelligence
Categorical Programming
DSL Design
Denotational design
Formal Verification
Generic Programming
Machine Learning
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Programming language translation
Proving observational equivalence between Haskell programs
Teaching Haskell
Login with
Login using
— OR —