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 |
|