Programming with Intersection Types, Union Types, and Polymorphism

著者: Benjamin C. Pierce
タイトル: Programming with Intersection Types, Union Types, and Polymorphism
日時: February 1991
カテゴリ: CMUTR

Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-106
Bibtype: TechReport
Author: Benjamin C. Pierce
Month: feb
Title: Programming with Intersection Types, Union Types, and
        Polymorphism
Year: 1991
Key: Lambda calculus and related systems, language theory,
        programming, type structure, data types and structures,
        polymorphism, intersection types, union types.
Address: Pittsburgh, PA