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).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.