Search results for "Subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Adriana B. Compagnoni, Healfdene Goguen	Typed operational semantics for higher-order subtyping.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
16	Juliusz Chroboczek	Game semantics and subtyping.		2003	RDF
16	Maria João Frade	Type-based termination of recursive definitions and constructor subtyping in typed lambda calculi		2003	RDF
16	Matthew Hennessy, Julian Rathke	Typed behavioural equivalences for processes in the presence of subtyping.	CATS	2002	DBLP DOI BibTeX RDF
16	Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama	The Relevance of Semantic Subtyping.	ITRS	2002	DBLP DOI BibTeX RDF
16	Ugo de'Liguoro	Subtyping in Logical Form.	ITRS	2002	DBLP DOI BibTeX RDF
16	Anthony J. H. Simons	The Theory of Classification, Part 4: Object Types and Subtyping.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
16	Adrian Fiech, David A. Schmidt	Polymorphic lambda calculus and subtyping.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
16	Heike Wehrheim	Relating State-based and Behaviour-oriented Subtyping.	Nord. J. Comput.	2002	DBLP BibTeX RDF
16	Johan Nordlander	Polymorphic subtyping in O'Haskell.	Sci. Comput. Program.	2002	DBLP DOI BibTeX RDF
16	Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce	Recursive subtyping revealed.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
16	Jerzy Tiuryn, Pawel Urzyczyn	The Subtyping Problem for Second-Order Types Is Undecidable.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
16	Kathleen Fisher, John H. Reppy	Inheritance-Based Subtyping.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
16	Emmanuel Coquery, François Fages	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.	ICLP	2002	DBLP DOI BibTeX RDF
16	Nabil Hameurlain	Behavioural Subtyping and Property Preservation for Active Objects.	FMOODS	2002	DBLP BibTeX RDF
16	Matthew Fluet, Riccardo Pucella	Phantom Types and Subtyping.	IFIP TCS	2002	DBLP DOI BibTeX RDF
16	Shengyuan Wang, Jian Yu, Chongyi Yuan	A Pragmatic Behavior Subtyping Relation Based on Both States and Actions.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
16	David Aspinall 0001, Adriana B. Compagnoni	Subtyping dependent types.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
16	Zhaohui Luo	Coercion completion and conservativity in coercive subtyping.	Ann. Pure Appl. Log.	2001	DBLP DOI BibTeX RDF
16	Erik Poll	A Coalgebraic Semantics of Subtyping.	RAIRO Theor. Informatics Appl.	2001	DBLP DOI BibTeX RDF
16	Paul Callaghan, Zhaohui Luo	An Implementation of LF with Coercive Subtyping & Universes.	J. Autom. Reason.	2001	DBLP DOI BibTeX RDF
16	David A. Naumann	Predicate transformer semantics of a higher-order imperative language with record subtyping.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
16	Tom Burr, James R. Gattiker, Gregory S. LaBerge	Genetic Subtyping using Cluster Analysis.	SIGKDD Explor.	2001	DBLP DOI BibTeX RDF	DNA sequence analysis, phylogenetic trees, model-based clustering, HIV, influenza
16	François Pottier	Simplifying Subtyping Constraints: A Theory.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
16	Jerzy Tiuryn	A Sequent Calculus for Subtyping Polymorphic Types.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
16	Giuseppe Castagna, Gang Chen	Dependent Types with Subtyping and Late-Bound Overloading.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
16	Yoav Zibin, Joseph Gil	Efficient Subtyping Tests with PQ-Encoding.	OOPSLA	2001	DBLP DOI BibTeX RDF
16	Alan Jeffrey	A Symbolic Labelled Transition System for Coinductive Subtyping of Fµ< Types.	LICS	2001	DBLP DOI BibTeX RDF
16	Heike Wehrheim	Patterns and Rules for Behavioural Subtyping.	FORTE	2001	DBLP BibTeX RDF
16	Amit Patel 0001	Obstacl: a language with objects, subtyping, and classes.		2001	RDF
16	Erik Poll	A Coalgebraic Semantics of Subtyping.	CMCS	2000	DBLP DOI BibTeX RDF
16	Jan-Georg Smaus, François Fages, Pierre Deransart	Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping	CoRR	2000	DBLP BibTeX RDF
16	Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001	Coherence and transitivity of subtyping as entailment.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
16	Gustavo Betarte	Type checking dependent (record) types and subtyping.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
16	Atsushi Igarashi, Naoki Kobayashi 0001	Type Reconstruction for Linear -Calculus with I/O Subtyping.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
16	Heike Wehrheim	Behavioural Subtyping and Property Preservation.	FMOODS	2000	DBLP DOI BibTeX RDF
16	Michael Schöttner, Oliver Schirpf, Moritz Wende, Peter Schulthess	Multiple Subtyping in a Persistent Distributed Shared Memory Operating System.	PDPTA	2000	DBLP BibTeX RDF
16	Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann	Weak Subtyping and Genericity.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Genericity, Inheritance, Subtype, Conformance
16	Günter Kniesel	Dynamic object-based inheritance with subtyping.		2000	RDF
16	C. Briscoe-Smith	Behavioural subtyping in process algebra.		2000	RDF
16	Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori	A Subtyping for Extensible, Incomplete Objects.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF
16	Christoph Beierle, Reinhold Kloos, Gregor Meyer	A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.	Verification of Logic Programs@ICLP	1999	DBLP DOI BibTeX RDF
16	Alexander Aiken, Edward L. Wimmers, Jens Palsberg	Optimal Representations of Polymorphic Types with Subtyping.	High. Order Symb. Comput.	1999	DBLP DOI BibTeX RDF
16	Zhaohui Luo	Coercive Subtyping.	J. Log. Comput.	1999	DBLP DOI BibTeX RDF
16	Natarajan Shankar, Sam Owre	Principles and Pragmatics of Subtyping in PVS.	WADT	1999	DBLP DOI BibTeX RDF
16	Marcin Benke	An Algebraic Characterization of Typability in ML with Subtyping.	FoSSaCS	1999	DBLP DOI BibTeX RDF
16	Jerzy Tiuryn	Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.	MFCS	1999	DBLP DOI BibTeX RDF
16	Martin Steffen	Polarized higher-order subtyping.		1999	RDF
16	Michael Brandt, Fritz Henglein	Coinductive Axiomatization of Recursive Type Equality and Subtyping.	Fundam. Informaticae	1998	DBLP DOI BibTeX RDF
16	Gang Chen	Dependent type system with subtyping (I) type level transitivity elimination.	J. Comput. Sci. Technol.	1998	DBLP DOI BibTeX RDF
16	Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen	Subtyping and Constructive Specification.	Nord. J. Comput.	1998	DBLP BibTeX RDF
16	Jakob Rehof	The complexity of simple subtyping systems.		1998	RDF
16	Ramesh Viswanathan	Full Abstraction for First-Order Objects with Recursive Types and Subtyping.	LICS	1998	DBLP DOI BibTeX RDF
16	Marcin Benke	Predicative Polymorphic Subtyping.	MFCS	1998	DBLP DOI BibTeX RDF
16	François Pottier	A Framework for Type Inference with Subtyping.	ICFP	1998	DBLP DOI BibTeX RDF
16	Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann	Weak Subtyping - Yet Another Notion of Inheritance.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
16	Laurent Dami	Operational Subsumption, an Ideal Model of Subtyping.	HOOTS	1997	DBLP DOI BibTeX RDF
16	Benjamin C. Pierce, Martin Steffen	Higher-Order Subtyping.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Mourad Debbabi, Zahia Aïdoud, Ali Faour	On the Inference od Structured Recursive Effects with Subtyping.	J. Funct. Log. Program.	1997	DBLP BibTeX RDF
16	Jens Palsberg, Mitchell Wand, Patrick O'Keefe	Type Inference with Non-Structural Subtyping.	Formal Aspects Comput.	1997	DBLP DOI BibTeX RDF
16	Michael Brandt, Fritz Henglein	Coinductive Axiomatization of Recursive Type Equality and Subtyping.	TLCA	1997	DBLP DOI BibTeX RDF
16	Nevin Heintze, David A. McAllester	On the Cubic Bottleneck in Subtyping and Flow Analysis.	LICS	1997	DBLP DOI BibTeX RDF
16	Jakob Rehof	Minimal Typings in Atomic Subtyping.	POPL	1997	DBLP DOI BibTeX RDF
16	Jerzy Tiuryn	Subtyping over a Lattice (Abstract).	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
16	Alexander Aiken, Edward L. Wimmers, Jens Palsberg	Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).	TACS	1997	DBLP DOI BibTeX RDF
16	Erik Poll	System F with Width-Subtyping and Record Updating.	TACS	1997	DBLP DOI BibTeX RDF
16	Jakob Rehof	Strong Normalization for Non-Structural Subtyping via Saturated Sets.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
16	Benjamin C. Pierce, Davide Sangiorgi	Typing and Subtyping for Mobile Processes.	Math. Struct. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Giuseppe Castagna	Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping.	Formal Aspects Comput.	1996	DBLP DOI BibTeX RDF
16	Martin Hofmann 0001, Benjamin C. Pierce	Positive Subtyping.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
16	Jerzy Tiuryn, Pawel Urzyczyn	The Subtyping Problem for Second-Order Types is Undecidable.	LICS	1996	DBLP DOI BibTeX RDF
16	David Aspinall 0001, Adriana B. Compagnoni	Subtyping Dependent Types (Summary).	LICS	1996	DBLP DOI BibTeX RDF
16	Wolfgang L. J. Kowarschick, Gerhard Köstler, Werner Kießling	Subtyping by Constraints in Object-Oriented Databases.	ISOTAS	1996	DBLP DOI BibTeX RDF
16	Andrew D. Gordon 0001, Gareth D. Rees	Bisimilarity for a First-Order Calculus of Objects with Subtyping.	POPL	1996	DBLP DOI BibTeX RDF
16	Alvaro Tasistro	Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping.	TYPES	1996	DBLP DOI BibTeX RDF
16	Alex P. Jones, Zhaohui Luo, Sergei Soloviev 0001	Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.	TYPES	1996	DBLP DOI BibTeX RDF
16	François Bodart, Ron Weber	Optional Properties Versus Subtyping in Conceptual Modeling: A Theory and Empirical Test.	ICIS	1996	DBLP BibTeX RDF
16	Valery Trifonov, Scott F. Smith 0001	Subtyping Constrained Types.	SAS	1996	DBLP DOI BibTeX RDF
16	David L. Shang	Covariant Deep Subtyping Reconsidered.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF
16	Krishna Kishore Dhara, Gary T. Leavens	Weak behavioral subtyping for types with mutable objects.	MFPS	1995	DBLP DOI BibTeX RDF
16	Gregory Butler	Easy Verification of Behavioural Subtyping in Common Cases.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
16	Mitchell Wand, Patrick O'Keefe, Jens Palsberg	Strong Normalization with Non-Structural Subtyping.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach	Efficient Recursive Subtyping.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Catriel Beeri, Tova Milo	Subtyping in OODBs.	J. Comput. Syst. Sci.	1995	DBLP DOI BibTeX RDF
16	Terry A. Halpin, Henderik Alex Proper	Subtyping and Polymorphism in Object-Role Modelling.	Data Knowl. Eng.	1995	DBLP DOI BibTeX RDF
16	Paolo Di Blasio, Marco Temperini	Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems.	J. Symb. Comput.	1995	DBLP DOI BibTeX RDF
16	Ian Maung	On Simulation, Subtyping and Substitutability in Sequential Object Systems.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
16	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping	Inf. Comput.	1995	DBLP DOI BibTeX RDF
16	Yan Mei Tang, Pierre Jouvelot	Effect Systems with Subtyping.	PEPM	1995	DBLP DOI BibTeX RDF
16	Christian Kalus, Peter Dadam	Record Subtyping in Flexible Relations by Means of Attribute Dependencies.	ICDE	1995	DBLP DOI BibTeX RDF
16	Stefano Berardi, Luca Boerio	Using Subtyping in Program Optimization.	TLCA	1995	DBLP DOI BibTeX RDF
16	Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001	A Logic of Subtyping (Extended Abstract)	LICS	1995	DBLP DOI BibTeX RDF
16	Patrick A. Muckelbauer, Vincent F. Russo	Lingua-Franca: An IDL for Structural Subtyping Distributed Object Systems.	COOTS	1995	DBLP BibTeX RDF
16	Carlos Baquero, Rui Oliveira 0001, Francisco Moura	Integration of Concurrency Control in a Language with Subtyping and Subclassing.	COOTS	1995	DBLP BibTeX RDF
16	My Hoang	Type inference and program evaluation in the presence of subtyping.		1995	RDF
16	José Félix Costa, Amílcar Sernadas, Cristina Sernadas	Object Inheritance Beyond Subtyping.	Acta Informatica	1994	DBLP DOI BibTeX RDF
16	Geoffrey Smith 0001	Principal Type Schemes for Functional Programs with Overloading and Subtyping.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
16	Luca Cardelli, Simone Martini 0001, John C. Mitchell, Andre Scedrov	An Extension of System F with Subtyping	Inf. Comput.	1994	DBLP DOI BibTeX RDF
16	Giuseppe Castagna	Overloading, subtyping and late binding - functional foundation of object-oriented programming.		1994	RDF
16	Gordon D. Plotkin, Martín Abadi, Luca Cardelli	Subtyping and Parametricity	LICS	1994	DBLP DOI BibTeX RDF