Research – or – Stuff I've Done That Other People Might Care About

• Circular Datatypes in Linearly Distributive Categories
  Presented at FMCS 2007 June 10, 2007; Colgate University, Hamilton, NY
  
  
• On Strong Reduction in Combinatory Logic
  Presented at FMCS 2009 May 31, 2009; University of British Columbia, Vancouver, BC.
  
  • The online combinatory logic reducer that accompanies the talk.
  
  

MPL: a (Message-Passing ⨁ Multi-Process) Language

• The MPL Grammar
  ...is probably finalized. Use the grammar reducer (Haskell source, 32-bit Elf binary) to shrink the number of non-terminals to something reasonable, then play with it using this tool.
  
  
• Everyone loves example code!
  There are more examples here, but many are old and have to be updated to match the current language definition.