paul callaghan
Using Haskell since 1993
You can ask me about full- or part-time employment
About Me
ruby-speaking haskeller, currently having fun working with rails
in the past, worked on dependent types and coercive subtyping, parsing ambiguous grammars, compilers, and large-scale natural language processing. named in the ghc manual too.
code: x-saiga parser lib, glr mode for happy, plastic proof assistant, small compiler for (mini)java in haskell, various other things...
currently writing some cross-over articles on FP/Haskell for Pragmatic Publishers' house magazine