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!
Jean-Philippe Bernardy
Jean-Philippe Bernardy
Using Haskell since 2002
Reveal email address
http://www.google.se/search?q=%22jean-philippe+bernardy%22
You can ask me about full- or part-time employment
Living in Gothenburg, Sweden
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Attribute Grammar
Categorical Programming
Compilers
Denotational design
Generic Programming
Metaprogamming via Template Haskell
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Programming language translation
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Reverse Engineering
Teaching Haskell
Packages
bnfc
cake
collections-api
containers
derivation-trees
hgal
imbib
jort
labeled-graph
labeled-tree
lp-diagrams
lp-diagrams-svg
marxup
nanoAgda
parsek
pretty-compact
TypedFlow
uAgda
yi
Check package dependency status.
Login with
Login using
— OR —