We propose a sound model for an extension of the language Fun, proposed by L. Cardelli and P. Wegner as a formalization of the notion of inheritance in the context of higher order polymorphic functional languages. The model Is obtained by modifying the Interval Model proposed by R. Cartwright, In order to accomodate bounded quantifiers and to obtain a sound structure. Our extension of the language supports also a general recursion operator for functions (but not for types).

Martini S. (1988). Bounded quantifiers have Interval Models. Association for Computing Machinery, Inc [10.1145/62678.62699].

Bounded quantifiers have Interval Models

Martini S.
1988

Abstract

We propose a sound model for an extension of the language Fun, proposed by L. Cardelli and P. Wegner as a formalization of the notion of inheritance in the context of higher order polymorphic functional languages. The model Is obtained by modifying the Interval Model proposed by R. Cartwright, In order to accomodate bounded quantifiers and to obtain a sound structure. Our extension of the language supports also a general recursion operator for functions (but not for types).
1988
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988
164
173
Martini S. (1988). Bounded quantifiers have Interval Models. Association for Computing Machinery, Inc [10.1145/62678.62699].
Martini S.
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/891684
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact