Higher-order Unification, Polymorphism, and Subsorts, Issue 210

Front Cover
University of Cambridge Computer Laboratory, 1990 - Computer algorithms - 15 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Common terms and phrases

Bibliographic information