MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formal Parametric Polymorphism." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Formal Parametric Polymorphism
by Martin Abadi , Luca Cardelli, Pierre-Louis Curien — 1993 — THEORETICAL COMPUTER SCIENCE
…Formal Parametric Polymorphism Martín Abadi Luca Cardelli Pierre-Louis Curien Digital Equipment…
Cited by 101 (5 self) – Add To MetaCart

Formal Parametric Polymorphism
by Martn Abadi Luca, Luca Cardelli, Pierre-louis Curien — 1993 — Theoretical Computer Science
…Formal Parametric Polymorphism Martín Abadi Luca Cardelli Pierre-Louis Curien Digital Equipment…
Add To MetaCart

A Model for Formal Parametric Polymorphism: A PER Interpretation for System R
by Roberto Bellucci, Martin Abadi, Pierre-Louis Curien — 1995
…A Model for Formal Parametric Polymorphism: A PER Interpretation for System R Roberto Bellucci 1…
Cited by 6 (0 self) – Add To MetaCart

Parametricity as Subtyping
by Qingming Ma — 1992
… Carnegie-Mellon University Qingming.Ma@(email omitted); Abstract A polymorphic function is parametric if it has…
Cited by 7 (0 self) – Add To MetaCart

Informal Proceedings Of The 1993 Workshop On Types For Proofs And Programs, Nijmegen
by Herman Geuvers (ed.) — 1993
….30 Curien (Invited Lecture) - Formal Parametric Polymorphism 10.00 Magnusson (Gothenburg) - Backtracking…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB