The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Subtyping with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1990 (17) 1991 (17) 1992-1993 (25) 1994 (26) 1995 (30) 1996 (33) 1997 (26) 1998 (27) 1999 (34) 2000 (43) 2001 (40) 2002 (37) 2003 (37) 2004 (32) 2005 (44) 2006 (39) 2007 (38) 2008 (36) 2009 (33) 2010 (15) 2011 (18) 2012-2013 (26) 2014-2015 (23) 2016 (16) 2017 (21) 2018 (25) 2019 (25) 2020 (35) 2021 (32) 2022 (40) 2023 (47) 2024 (8)
Publication types (Num. hits)
article(306) incollection(1) inproceedings(615) phdthesis(23)
Venues (Conferences, Journals, ...)
CoRR(64) POPL(40) ECOOP(32) ACM Trans. Program. Lang. Syst...(29) ICFP(26) ESOP(25) LICS(20) OOPSLA(19) Inf. Comput.(17) Proc. ACM Program. Lang.(15) CSL(12) TYPES(12) TLCA(11) APLAS(10) Math. Struct. Comput. Sci.(10) SAC(10) More (+10 of total 324)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 638 occurrences of 315 keywords

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