The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.

Koko Muroya, Dan R. Ghica

Browse the full CSL paper archive.