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!
Vlad Posmangiu Luchian
Vlad Posmangiu Luchian
Reveal email address
You can ask me about full- or part-time employment
Living in Sheffield
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Agile software development
Artificial Intelligence
Categorical Programming
Compilers
Computer algebra
Concurrent Haskell
DSL Design
Databases
Distributed systems
Foreign Function Interface (FFI)
Formal Verification
Network programming
Parallelism
Prototyping
Purely functional data structures — design and implementation
Teaching Haskell
UNIX Scripting
Login with
Login using
— OR —