Monthly Archives: April 2012

Lucid – Retirement Plan

Here is the promised description of the retirement plan mentioned in the Lucid – Eduction post. This description is a slightly edited version of section 3 of “An eductive interpreter for the language pLucid”, by myself and A. Faustini, which … Continue reading

Posted in research | 1 Comment