Reflective Higher Order Calculus
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 theFoundations of Interactive Computation Workshop (FInCo 2005) 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.