Relaxing the value restriction

Relaxing the value restriction (2004)

by Jacques Garrigue

Venue:	In International Symposium on Functional and Logic Programming, Nara, LNCS 2998
Citations:	9 - 0 self

Datum	Value	Source
TITLE	Relaxing the value restriction	INFERENCE
AUTHOR NAME	Jacques Garrigue	SVM HeaderParse 0.2
AUTHOR AFFIL	Research Institute for Mathematical Sciences,; Kyoto University, Sakyo-ku, Kyoto 606-8502	SVM HeaderParse 0.2
ABSTRACT	Abstract. Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advantages over previous approaches, it forbids polymorphism in many cases where it would be sound. We use a subtyping based approach to recover part of this lost polymorphism, without changing the type algebra itself, and this has significant applications. 1	SVM HeaderParse 0.2
YEAR	2004	INFERENCE
VENUE	In International Symposium on Functional and Logic Programming, Nara, LNCS 2998	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	196--213	INFERENCE
VOLUME	2998	INFERENCE
CITATIONS	20 found	ParsCit 1.0