Semantic Predicate Types and Approximation for Class-based Object Oriented Programming

by Steffen Van Bakel , Reuben N. S. Rowe
Citations:2 - 2 self