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!
Ruud Koot
Ruud Koot
Using Haskell since 2004
[email protected]
https://ruudkoot.nl/
You can ask me about full-time employment
Living in Zeist, Netherlands
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Artificial Intelligence
Attribute Grammar
Categorical Programming
Computational Geometry
Computer algebra
Concurrent Haskell
DSL Design
Databases
Denotational design
Foreign Function Interface (FFI)
Formal Verification
Generic Programming
Machine Learning
Metaprogamming via Template Haskell
Monadic Parser Combinators
Network programming
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Purely functional data structures — design and implementation
Systems programming
Teaching Haskell
Packages
instant-zipper
Check package dependency status.
Login with
Login using
— OR —