Subtyping

Results: 99



#Item
61Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic

Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2013-05-30 11:20:39
62In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica

In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 07:03:50
63Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
64Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam

Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:34:34
65Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia

Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 1999-12-29 11:26:37
66Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze

Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:28
67A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole

A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:26
68Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and

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

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:28
69Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud)

Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud)

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:32
70Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch

Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:34