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!
Joomy Korkut
Joomy Korkut
Using Haskell since 2013
[email protected]
http://cattheory.com
I am not currently seeking employment
Living in New York, NY
Freenode
joomy
Twitter
cattheory
About Me
PhD student at Princeton.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Compilers
DSL Design
Formal Verification
Generic Programming
Idris
Metaprogamming via Template Haskell
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Network programming
Programming language translation
Property based testing (QuickCheck)
Teaching Haskell
Web development (HTML, CSS and Javascript)
Packages
chalk
fuzzy
Check package dependency status.
Login with
Login using
— OR —