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!
Cong Zheng
Cong Zheng
Using Haskell since 2018
[email protected]
You can ask me about full- or part-time employment
Living in Zhujiang siji yuecheng, Majuqiao town, Tongzhou District, Beijing,China
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Compilers
Databases
Distributed systems
Formal Verification
GHC internals
Generic Programming
Machine Learning
Natural Language Processing (tagging, parsing, translation,...)
Network programming
UNIX Scripting
Login with
Login using
— OR —