Can I read Implementation of the Typed Call-by-value λ-Calculus Using a Stack of Regions on EtoBox?

Implementation of the Typed Call-by-value λ-Calculus Using a Stack of Regions by Mads Tofte; Jean-Pierre Talpin is a scholarly article available to read on EtoBox.

What is Implementation of the Typed Call-by-value λ-Calculus Using a Stack of Regions about?

We present atranslation scheme forthepolymorphitally typed call-by-value A-calculus. All runtime values, including function closures, are put into regions. The store consists of a stack of regions: Region inference and effect inference are used to infer where regions can be allocated and de-allocated. Recursive functions are handled using a limited form of polymorphic recursion. The translation is proved correct with respect to a store semantics, which models a regionbased run-time system. Experimental results suggest that regions tend to be small, that region allocation is frequent and that overall memory demands are usually modest, even without garbage collection.

Author

Mads Tofte; Jean-Pierre Talpin

Publisher

ACM Press

Published

1994

Language

EN