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:
Stefano Berardi; Makoto Tatsuta
Link alla scheda completa:
Titolo del libro:
Functional and Logic Programming, 10th International Symposium
Pubblicato in: