Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types

Alain Frisch; Giuseppe Castagna; Véronique Benzaken

HAL: hal-00336120, version 1

DOI: 10.1145/1391289.1391293

Short view

Export this paper

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Frisch A., Castagna G., Benzaken V.
Journal of the ACM 55, 4 (2008) 1-64 - http://hal.archives-ouvertes.fr/hal-00336120

Publication type:

Article in peer-reviewed journal

Subject:

Computer Science/Programming Languages

Computer Science/Logic in Computer Science

Title:

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types

Author(s):

Alain Frisch ¹, Giuseppe Castagna (

) ², Véronique Benzaken ³

Laboratory:

1:	LexiFi

	http:///www.lexifi.com

	PME

	Boulogne-Billancourt

	France

2:	Preuves, Programmes et Systèmes (PPS)

	http://www.pps.jussieu.fr

	CNRS : UMR7126 – Université Paris VII - Paris Diderot

	Université Denis Diderot 2 Place Jussieu - case 7014 75005 PARIS

	France

3:	Laboratoire de Recherche en Informatique (LRI)

	http://www.lri.fr/

	CNRS : UMR8623 – Université Paris XI - Paris Sud

	LRI - Bâtiment 490 Université Paris-Sud 91405 Orsay Cedex

	France

Fulltext language:

English

Journal:

Journal of the ACM

Audience:

international

Publication date:

2008

Volume:

Issue:

Page, identifiant, ...:

1-64


hal-00336120, version 1
http://hal.archives-ouvertes.fr/hal-00336120
oai:hal.archives-ouvertes.fr:hal-00336120
From: Giuseppe Castagna <>
Submitted on: Saturday, 1 November 2008 15:06:12
Updated on: Saturday, 1 November 2008 15:06:12