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!
Jorge Lobo
Jorge Lobo
Using Haskell since 2010
Reveal email address
You can ask me about full- or part-time employment
Living in London
About Me
Computer scientist, using haskell to program calculation, correctness by design
Skills
Agile software development
Computer algebra
DSL Design
Databases
Formal Verification
Programming using Arrows
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Teaching Haskell
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Login with
Login using
— OR —