Recursive type operators which are more than type schemes. Bulletin of the EATCS 8, 87-88. Abstract of a talk given at the 2nd International Workshop on the Semantics of Programming Languages (1979)

by C Wadsworth