This paper defines a family of terms of system F which is a decompiler-normalizer for an image of system F by some injective interpretation in system F. We clarify the relationship among these terms, normalization by evaluation, and bete-eta complete models of system F.
Internal Normalization, Compilation and Decompilation for System F
BERARDI, Stefano;
2010-01-01
Abstract
This paper defines a family of terms of system F which is a decompiler-normalizer for an image of system F by some injective interpretation in system F. We clarify the relationship among these terms, normalization by evaluation, and bete-eta complete models of system F.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
