Software Developer at S&P/Capital IQ, author of various Haskell libraries.
Publications, Drafts, and Conference Talks
Various Short Articles
Posts Dated April First
- cursedcsv --
curses-based terminal browser for reading csv files. ("less for
- mess -- the
Martin-Löf Extensible Specification and Simulator, a toy
dependent type theory embedded in scheme.
- Email: gershomb at the email service from google
- On Google+
Last modified: Sat Jun 27 00:34:11 EDT 2015