Positive Subtyping

Positive Subtyping (1994)

by Martin Hofmann , Benjamin Pierce

Venue:	Information and Computation
Citations:	51 - 8 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Positive Subtyping	user correction - Legacy Corrections
AUTHOR NAME	Martin Hofmann	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
AUTHOR NAME	Benjamin Pierce	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
ABSTRACT	The statement S T in a -calculus with subtyping is traditionally interpreted as a semantic coercion function of type [[S]]![[T ]] that extracts the "T part" of an element of S. If the subtyping relation is restricted to covariant positions, this interpretation may be enriched to include both the coercion and an overwriting function put[S; T ] 2 [[S]]![[T ]]![[S]] that updates the T part of an element of S.	user correction - Legacy Corrections
YEAR	1994	user correction - Legacy Corrections
VENUE	Information and Computation	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	235--282	INFERENCE
VOLUME	126	INFERENCE
CITATIONS	26 found	ParsCit 1.0