Internal Normalization, Compilation and Decompilation for System F

Contributo in Atti di convegno

Data di Pubblicazione:

2010

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.

Tipologia CRIS:

04A-Conference paper in volume

Keywords:

internal compiler; system F

Elenco autori: