technology from back to front

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 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.


6 × = fifty four

2000-14 LShift Ltd, 1st Floor, Hoxton Point, 6 Rufus Street, London, N1 6PE, UK+44 (0)20 7729 7060   Contact us