Back to Results
First PageMeta Content
Programming language theory / Data types / Object-oriented programming / Polymorphism / Subtype polymorphism / Type system / Universal type / System F / Curry / Software engineering / Type theory / Computing


Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and
Add to Reading List

Document Date: 2013-12-06 16:18:28

Open Document

File Size: 645,81 KB

Share Result on Facebook

City

Paris / Turin / /

Currency

USD / /

Facility

Benjamin Pier / /

IndustryTerm

types systems / ent type systems / opyright/server / omplete subtyping algorithm / /

Person

VÉRONIQUE BENZAKEN LRI / Lexi / Bertrand Russell / Giuseppe Castagna / Alfred Whitehead / Denis Diderot / ALAIN FRISCH / GIUSEPPE CASTAGNA CNRS / Véronique Benzaken / John Reynolds / Roger Hindley / Alain Fris / /

Position

Program Constru ts Type stru ture General / programmer / /

Product

F-92100 Boulogne-Billan / /

ProgrammingLanguage

XML / /

ProvinceOrState

Indiana / /

PublishedMedium

Journal of the ACM / /

Technology

subtyping algorithm / LAN / XML / omplete subtyping algorithm / /

SocialTag