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.
Random other research-related files
here
.
<-- home