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!
Keigo IMAI
Keigo IMAI
Using Haskell since 2004
Reveal email address
I am not currently seeking employment
Living in Nagoya, Japan
Twitter
keigoi
About Me
Type-level programming fun! / Implemented session-typed Pi-calculus on Haskell (using fundeps).
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Concurrent Haskell
DSL Design
Formal Verification
Generic Programming
Metaprogamming via Template Haskell
Reverse Engineering
Web development (HTML, CSS and Javascript)
Packages
full-sessions
Check package dependency status.
Login with
Login using
— OR —