A Lightweight Implementation of Generics and Dynamics

A Lightweight Implementation of Generics and Dynamics (2002)

by James Cheney , Ralf Hinze

Citations:

70 - 6 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Lightweight Implementation of Generics and Dynamics	user correction - Legacy Corrections
AUTHOR NAME	James Cheney	user correction - Legacy Corrections
AUTHOR AFFIL	; Cornell University; Categories and Subject Descriptors; General Terms	user correction - Legacy Corrections
AUTHOR ADDR	; Ithaca, NY 14853	user correction - Legacy Corrections
AUTHOR NAME	Ralf Hinze	user correction - Legacy Corrections
ABSTRACT	The recent years have seen a number of proposals for extending statically typed languages by dynamics or generics. Most proposals --- if not all --- require significant extensions to the underlying language. In this paper we show that this need not be the case. We propose a particularly lightweight extension that supports both dynamics and generics. Furthermore, the two features are smoothly integrated: dynamic values, for instance, can be passed to generic functions. Our proposal makes do with a standard Hindley-Milner type system augmented by existential types. Building upon these ideas we have implemented a small library that is readily usable both with Hugs and with the Glasgow Haskell compiler.	user correction - Legacy Corrections
YEAR	2002	user correction - Legacy Corrections
CITATIONS	30 found	ParsCit 1.0