University of Cambridge

Logic
&
Semantics

A language for sharing computations

By Luca Roversi (4th November 1997)

The goal of the talk is to introduce a typed language of graph combinators and a theory on it as a model of sharing computations.

The design of sharing combinators will be developed by reasoning on a concrete, and non trivial example of sharing computations: those performed by BOHM Interpreter, which implements Optimal Reduction à la Levy for lambda calculus.

LS Home page or Talks in 1997