Search results for "Subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
147	Donna Malayeri	Combining structural subtyping and external dispatch.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	by-name subtyping, external dispatch, structural subtyping
91	Heike Wehrheim	Behavioral Subtyping Relations for Active Objects.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	object-orientation, refinement, CSP, behavioral subtyping
85	Donna Malayeri, Jonathan Aldrich	Is Structural Subtyping Useful? An Empirical Study.	ESOP	2009	DBLP DOI BibTeX RDF
85	Donna Malayeri, Jonathan Aldrich	Integrating Nominal and Structural Subtyping.	ECOOP	2008	DBLP DOI BibTeX RDF
85	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
85	Clemens Fischer, Heike Wehrheim	Behavioural Subtyping Relations for Object-Oriented Formalisms.	AMAST	2000	DBLP DOI BibTeX RDF
79	Donna Malayeri, Jonathan Aldrich	Combining structural subtyping and external dispatch.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	by-name subtyping, external dispatch, structural subtyping
75	Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
72	Jerome Vouillon	Subtyping Union Types.	CSL	2004	DBLP DOI BibTeX RDF	semantics, lambda-calculus, subtyping, union types
72	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
72	Martín Abadi, Luca Cardelli	On Subtyping and Matching.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	F-bounded, type operators, matching, subtyping, type theory
69	Andreas Abel 0001, Dulma Rodriguez	Syntactic Metatheory of Higher-Order Subtyping.	CSL	2008	DBLP DOI BibTeX RDF	Higher-order subtyping, bounded quantification, algorithmic subtyping, hereditary substitution
65	Stefan Wehr, Peter Thiemann 0001	On the Decidability of Subtyping with Bounded Existential Types.	APLAS	2009	DBLP DOI BibTeX RDF
65	Giuseppe Castagna, Rocco De Nicola, Daniele Varacca	Semantic Subtyping for the p-Calculus.	LICS	2005	DBLP DOI BibTeX RDF
65	François Bry, Wlodzimierz Drabent, Jan Maluszynski	On Subtyping of Tree-Structured Data: A Polynomial Approach.	PPSWR	2004	DBLP DOI BibTeX RDF
65	Yong Luo 0001, Zhaohui Luo	Coherence and Transitivity in Coercive Subtyping.	LPAR	2001	DBLP DOI BibTeX RDF
65	Sergei G. Vorobyov	Subtyping Functional+Nonempty Record Types.	CSL	1998	DBLP DOI BibTeX RDF
65	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
65	Zhaohui Luo	Coercive Subtyping in Type Theory.	CSL	1996	DBLP DOI BibTeX RDF
65	Martin Hofmann 0001, Benjamin C. Pierce	Positive Subtyping.	POPL	1995	DBLP DOI BibTeX RDF
62	Chieri Saito, Atsushi Igarashi	Matching ThisType to subtyping.	SAC	2009	DBLP DOI BibTeX RDF	ThisType, exact types, subtyping, dynamic dispatch, binary methods
62	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.	J. ACM	2008	DBLP DOI BibTeX RDF	negation types, Subtyping, higher-order functions, intersection types, union types
62	Pierre-Malo Deniélou, James J. Leifer	Abstraction preservation and subtyping in distributed languages.	ICFP	2006	DBLP DOI BibTeX RDF	serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems
62	Joseph Gil, Yoav Zibin	Efficient subtyping tests with PQ-encoding.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	PQ, PQE, type inclusion, encoding, hierarchy, inheritance, subtyping, partially ordered sets, Casting
62	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
62	Tse-Min Lin, John A. McDermid	A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning
62	Dario Colazzo, Giorgio Ghelli	Subtyping Recursive Types in Kernel Fun.	LICS	1999	DBLP DOI BibTeX RDF	type theory and type systems, kernel Fun, subtyping, recursive types
55	Zhendong Su 0001, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen	The first-order theory of subtyping constraints.	POPL	2002	DBLP DOI BibTeX RDF
55	Joseph Gil	Subtyping arithmetical types.	POPL	2001	DBLP DOI BibTeX RDF
55	Kathleen Fisher, John H. Reppy	Extending Moby with Inheritance-Based Subtyping.	ECOOP	2000	DBLP DOI BibTeX RDF
55	Jan Zwanenburg	Pure Type Systems with Subtyping.	TLCA	1999	DBLP DOI BibTeX RDF
55	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
55	Adriana B. Compagnoni, Healfdene Goguen	Anti-Symmetry of Higher-Order Subtyping.	CSL	1999	DBLP DOI BibTeX RDF
55	Andreas Gawecki, Florian Matthes	Integrating Subtyping, Matching and Type Quantification: A Practical Perspective.	ECOOP	1996	DBLP DOI BibTeX RDF
55	Hanne Riis Nielson, Flemming Nielson, Torben Amtoft	Polymorphic Subtyping for Effect Analysis: The Static Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
55	Martín Abadi, Luca Cardelli	On Subtyping and Matching.	ECOOP	1995	DBLP DOI BibTeX RDF
55	Adriana B. Compagnoni	Decidability of Higher-Order Subtyping with Intersection Types.	CSL	1994	DBLP DOI BibTeX RDF
55	Paolo Di Blasio, Marco Temperini	Subtyping Inheritance in Languages for Symbolic Computation Systems.	DISCO	1993	DBLP DOI BibTeX RDF
55	Pierre America	Inheritance and Subtyping in a Parallel Object-Oriented Language.	ECOOP	1987	DBLP DOI BibTeX RDF
52	David Aspinall 0001	Subtyping with Power Types.	CSL	2000	DBLP DOI BibTeX RDF	subtyping, type theory, dependent types
52	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
52	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
46	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
46	Joseph Gil, Itay Maman	Whiteoak: introducing structural typing into java.	OOPSLA	2008	DBLP DOI BibTeX RDF	structural subtyping, java, abstraction
46	James Cheney	Regular Expression Subtyping for XML Query and Update Languages.	ESOP	2008	DBLP DOI BibTeX RDF
46	Sébastien Baehni, João Pedro Barreto 0002, Patrick Eugster, Rachid Guerraoui	Efficient distributed subtyping tests.	DEBS	2007	DBLP DOI BibTeX RDF	Java, event, type, subtype, conformance
46	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
46	Roberto Di Cosmo, François Pottier, Didier Rémy	Subtyping Recursive Types Modulo Associative Commutative Products.	TLCA	2005	DBLP DOI BibTeX RDF
46	Giuseppe Castagna, Alain Frisch	A Gentle Introduction to Semantic Subtyping.	ICALP	2005	DBLP DOI BibTeX RDF
46	Gary T. Leavens, Don Pigozzi	A Complete Algebraic Characterization of Behavioral Subtyping.	Acta Informatica	2000	DBLP DOI BibTeX RDF
46	Juliusz Chroboczek	Game Semantics and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF	Semantics, Type Systems, Game Semantics
46	Jan-Georg Smaus, François Fages, Pierre Deransart	Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.	FSTTCS	2000	DBLP DOI BibTeX RDF
46	Jacek Chrzaszcz	Polymorphic Subtyping Without Distributivity.	MFCS	1998	DBLP DOI BibTeX RDF
46	Gang Chen	Subtyping Calculus of Construction (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
46	David Aspinall 0001	Subtyping with Singleton Types.	CSL	1994	DBLP DOI BibTeX RDF
46	Pierre America	Designing an Object-Oriented Programming Language with Behavioural Subtyping.	REX Workshop	1990	DBLP DOI BibTeX RDF
43	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
43	Gang Chen	Full integration of subtyping and if-expression.	PPDP	2002	DBLP DOI BibTeX RDF	if-expression, Java, subtyping, type checking
43	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
43	Krishna Kishore Dhara, Gary T. Leavens	Forcing Behavioral Subtyping through Specification Inheritance.	ICSE	1996	DBLP BibTeX RDF	code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping
43	Barbara Liskov, Jeannette M. Wing	A Behavioral Notion of Subtyping.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	formal specifications, subtyping, Larch
39	Dimitris Mostrous, Nobuko Yoshida	Session-Based Communication Optimisation for Higher-Order Mobile Processes.	TLCA	2009	DBLP DOI BibTeX RDF
39	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Incremental Reasoning for Multiple Inheritance.	IFM	2009	DBLP DOI BibTeX RDF
39	Christopher A. Stone	Extensible objects without labels.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible objects, object calculi
36	Franco Barbanera, Ugo de'Liguoro	Two notions of sub-behaviour for session-based client/server systems.	PPDP	2010	DBLP DOI BibTeX RDF	behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types
36	Roland Ducournau	Perfect hashing as an almost perfect subtype test.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	downcast, method tables, multiple subtyping, single inheritance, subtype test, virtual function tables, Java, C++, interfaces, coloring, multiple inheritance, perfect hashing, Casting, dynamic loading
36	Hamed S. Alavi, Seth Gilbert, Rachid Guerraoui	Extensible encoding of type hierarchies.	POPL	2008	DBLP DOI BibTeX RDF	subtyping test, dynamic loading
36	Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea	A flow-based approach for variant parametric types.	OOPSLA	2006	DBLP DOI BibTeX RDF	variant parametric types, constraints, genericity, subtyping, flow analysis
36	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce	Regular expression types for XML.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	XML, Type systems, subtyping
36	Cong-Cong Xing, Boumediene Belkhouche	The movable point problem and its resolution in object type graphs.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	type, object-oriented languages, subtyping
36	Nobuko Yoshida, Matthew Hennessy	Assigning Types to Processes.	LICS	2000	DBLP DOI BibTeX RDF	higher-order pi-calculus, distributed systems, concurrency, type system, subtyping
36	Franz Puntigam	Non-regular Process Types.	Euro-Par	1999	DBLP DOI BibTeX RDF	type systems, subtyping, active objects
36	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy Behavioral Subtyping.	FM	2008	DBLP DOI BibTeX RDF
36	Andreas Abel 0001	Polarized Subtyping for Sized Types.	CSR	2006	DBLP DOI BibTeX RDF
36	João Costa Seco, Luís Caires	Subtyping First-Class Polymorphic Components.	ESOP	2005	DBLP DOI BibTeX RDF
36	Jan Schwinghammer	A Typed Semantics of Higher-Order Store and Subtyping.	ICTCS	2005	DBLP DOI BibTeX RDF
36	Giuseppe Castagna	Semantic Subtyping: Challenges, Perspectives, and Open Problems.	ICTCS	2005	DBLP DOI BibTeX RDF
36	Viktor Kuncak, Martin C. Rinard	Structural Subtyping of Non-Recursive Types is Decidable.	LICS	2003	DBLP DOI BibTeX RDF
36	Jens Palsberg, Tian Zhao 0002	Efficient Type Inference for Record Concatenation and Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
36	Massimo Merro, Vladimiro Sassone	Typing and Subtyping Mobility in Boxed Ambients.	CONCUR	2002	DBLP DOI BibTeX RDF
36	Yasuhiko Minamide	Runtime Behavior of Conversion Interpretation of Subtyping.	IFL	2001	DBLP DOI BibTeX RDF
36	Juliusz Chroboczek	Subtyping Recursive Games.	TLCA	2001	DBLP DOI BibTeX RDF
36	Jakob Rehof, Manuel Fähndrich	Type-base flow analysis: from polymorphic subtyping to CFL-reachability.	POPL	2001	DBLP DOI BibTeX RDF
36	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Subtyping and Matching for Mobile Objects.	ICTCS	2001	DBLP DOI BibTeX RDF
36	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
36	Karl Crary	Typed compilation of inclusive subtyping.	ICFP	2000	DBLP DOI BibTeX RDF
36	Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce	Recursive subtyping revealed: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	PEARL
36	Wolfgang Naraschewski, Markus Wenzel 0001	Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.	TPHOLs	1998	DBLP DOI BibTeX RDF
36	Didier Rémy	From Classes to Objects via Subtyping.	ESOP	1998	DBLP DOI BibTeX RDF
36	Johan Nordlander	Pragmatic Subtyping in Polymorphic Languages.	ICFP	1998	DBLP DOI BibTeX RDF
36	Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori	Subtyping Constraints for Incomplete Objects (Extended Abstract).	TAPSOFT	1997	DBLP DOI BibTeX RDF
36	Kim B. Bruce, Leaf Petersen, Adrian Fiech	Subtyping Is Not a Good "Match" for Object-Oriented Languages.	ECOOP	1997	DBLP DOI BibTeX RDF
36	Simon Marlow, Philip Wadler	A Practical Subtyping System For Erlang.	ICFP	1997	DBLP DOI BibTeX RDF	ERLANG
36	John C. Mitchell, Ramesh Viswanathan	Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
36	Harry G. Mairson	A Constructive Logic of Multiple Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
33	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
32	Ori Roth	Study of the subtyping machine of nominal subtyping with variance.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
32	Ori Roth	Study of the Subtyping Machine of Nominal Subtyping with Variance (full version).	CoRR	2021	DBLP BibTeX RDF
32	Lionel Parreaux	The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl).	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
32	Adriana B. Compagnoni, Healfdene Goguen	Anti-symmetry of higher-order subtyping and equality by subtyping.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF