Search Results for 'Abstype'

Abstype published presentations and documents on DocSlides.

Abstract Types Have Existential Type

by stella

JOHN C MITCHELL Stanford University AND GORDON D P...