Abstraction Mechanisms in the Beta Programming Language.

Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Mller-Pedersen, Kristen Nygaard

Browse the full POPL paper archive.