Reflective Higher Order Calculus

On July 25, 2005

LShift TD, Matthias Radestock, co-authored papers with Greg Meredith on a Reflective Higher Order Calculus, presented at various recent conferences.

The papers were presented at the Foundations of Interactive Computation Workshop (FInCo) as part of the European Joint Conferences on Theory and Practice of Software 2005 (ETAPS) in Edinburgh. Further results where presented at the Trustworthy Global Computing Workshop (TGC) at the same conference. The papers themselves, as well as slides for both presentations, can be viewed and downloaded from the links below.