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...