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!
wren romano
wren romano
Using Haskell since 2005
Reveal email address
http://cl.indiana.edu/~wren/
I am not currently seeking employment
Living in Mountain View, California, USA
Twitter
wrengr
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Categorical Programming
DSL Design
Denotational design
Foreign Function Interface (FFI)
Formal Verification
High-performance Haskell
Machine Learning
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
Teaching Haskell
UNIX Scripting
Packages
bytestring-lexing
bytestring-trie
data-fin
data-or
exact-combinatorics
list-extras
logfloat
pointless-fun
prelude-safeenum
stm-chans
unification-fd
unix-bytestring
Check package dependency status.
Login with
Login using
— OR —