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!
Boncheol Gu
Boncheol Gu
Using Haskell since 2010
Reveal email address
You can ask me about full- or part-time employment
Living in Seongnam
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Categorical Programming
Concurrent Haskell
DSL Design
Foreign Function Interface (FFI)
Formal Verification
Haskell on embedded devices
Metaprogamming via Template Haskell
Monadic Parser Combinators
Parallelism
Programming language translation
Property based testing (QuickCheck)
Reactive programming
Signal Processing
Systems programming
Teaching Haskell
Login with
Login using
— OR —