Dynamic Typing in Polymorphic Languages

Dynamic Typing in Polymorphic Languages (1995)

by Martín Abadi , Luca Cardelli , Benjamin Pierce , Didier Rémy

Venue:	JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:	92 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	Dynamic Typing in Polymorphic Languages	user correction
AUTHOR NAME	Martín Abadi	user correction
AUTHOR NAME	Luca Cardelli	user correction
AUTHOR NAME	Benjamin Pierce	user correction
AUTHOR NAME	Didier Rémy	user correction
ABSTRACT	There are situations in programmingwhere some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system F ), implicit polymorphism (in the style of ML), abstract data types, and subtyping.	user correction
YEAR	1995	INFERENCE
VENUE	JOURNAL OF FUNCTIONAL PROGRAMMING	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	92--103	INFERENCE
VOLUME	5	INFERENCE
CITATIONS	23 found	ParsCit 1.0