Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism (1996)

by Gregor Meyer
Venue:Subtypes and Parametric Polymorphism, Informatik Berichte 200, Fern Universitat
Citations:9 - 2 self