I am a software engineer primarily interested in programming languages and functional programming, including program synthesis, static analysis and domain-specific languages.
At the moment, I'm working on a domain-specific language for operations research at Target, using Haskell.
I am always happy to chat: my email is firstname.lastname@example.org.
I am especially interested in questions and projects involving Haskell or interesting PL issues.
- Stack Overflow 65.4k 65.4k 1616 gold badges171171 silver badges212212 bronze badges
- Emacs 5.9k 5.9k 22 gold badges2626 silver badges3838 bronze badges
- Software Engineering 5.1k 5.1k 11 gold badge2222 silver badges2020 bronze badges
- TeX - LaTeX 628 628 55 silver badges77 bronze badges
- Board & Card Games 511 511 44 silver badges66 bronze badges
- View network profile
Top network posts
- 483 What does "coalgebra" mean in the context of programming?
- 332 What part of Hindley-Milner do you not understand?
- 145 What is the "Free Monad + Interpreter" pattern?
- 144 attoparsec or parsec in haskell
- 104 How do I get a fancier mode line that uses solid colors and triangles?
- 95 Regex to match words of a certain length
- 89 What are the practical differences between the various Emacs Package Repositories?
- View more network posts →