A semantics for types in Prolog: The type system of Pan version 2.0 (1995)

by K Stroetmann, T Gla
Venue:Siemens AG, ZFE T SE