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

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