Formal parametric polymorphism /

Bibliographic Details

Main Author:	Abadi, Martín
Other Authors:	Cardelli, Luca, Curien, P.-L. (Pierre-Louis)
Format:	Book
Language:	English
Published:	Palo Alto, Calif. : Digital, Systems Research Center, [1993]
Series:	SRC reports ; 109.
Subjects:	Type theory. Functions. Logic, Symbolic and mathematical.