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!
Masahiro Sakai
Masahiro Sakai
Using Haskell since 2001
Reveal email address
Living in Kamakura, Kanagawa, Japan
Twitter
masahiro_sakai
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Categorical Programming
Concurrent Haskell
Foreign Function Interface (FFI)
Formal Verification
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Parallelism
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Packages
CPL
PTQ
Check package dependency status.
Login with
Login using
— OR —