A polymorphic λ-calculus with Type:Type (1986)

Cached

Download Links

by Luca Cardelli
Venue:DEC SRC, 130 Lytton Avenue, Palo Alto, CA 94301. May. SRC Research Report
Citations:3 - 0 self