Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.

Mads Tofte, Jean-Pierre Talpin

Browse the full POPL paper archive.