Polymorphism in OBJ-P

Authors:
Martin Plümicke
Affiliations:
-
Venue:
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Year:
1999

Citing 2
Cited 0

The Definition of Standard ML

The Definition of Standard ML
Logic Programming with Polymorphically Order-Sorted Types

Proceedings of the International Workshop on Algebraic and Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present the functional programming language OBJ-P. OBJ-P is a polymorphic extension of OBJ-3. The main features are overloaded function symbols, set inclusion subtyping, and parametric polymorphic types.