[BD01a] Proving Type Soundness of a Simply Typed ML-like Language with References

Conférence Internationale avec comité de lecture : TPHOLs2001, January 2001,

Auteurs: O. Boite , C. Dubois

motcle:

Commentaires: work in progress, in the supplemental proceedings.

BibTeX

@inproceedings {
	BD01a,
	title	=	"{Proving Type Soundness of a Simply Typed ML-like Language with References}",
	author	=	" O. Boite and C. Dubois ",
	booktitle	=	"{ TPHOLs2001}",
	year	=	2001,
	month	=	"January",
	note	=	"{work in progress, in the supplemental proceedings. }",
}