Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Martin Steffen, Benjamin C. Pierce |
Higher-Order Subtyping. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
16 | Kevin Lano, Stephen J. Goldsack |
Refinement, Subtyping and Subclassing in VDM++. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
16 | Flemming M. Damm |
Subtyping with Union Types, Intersection Types and Recursive Types. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Hideki Tsuiki |
A Normalizing Calculus with Overloading and Subtyping. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
Polymorphism and Subtyping in Interfaces. |
Workshop on Interface Definition Languages |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Erik Poll, C. Hemerik, Huub M. M. ten Eikelder |
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. |
RAIRO Theor. Informatics Appl. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | David J. Lillie |
Conjunctive Subtyping. |
FPCA |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Olga De Troyer, René Janssen |
On Modularity for Conceptual Data Models and the Consequences for Subtyping, Inheritance & Overriding. |
ICDE |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin C. Pierce, Davide Sangiorgi |
Typing and Subtyping for Mobile Processes |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Xuequn Wu |
Correctly typing objects through subtyping and type inference. |
SAC |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Kim B. Bruce, John C. Mitchell |
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Herman Balsters, Maarten M. Fokkinga |
Subtyping Can Have a Simple Semantics. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Roberto M. Amadio, Luca Cardelli |
Subtyping Recursive Types. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
16 | John C. Mitchell, Sigurd Meldal, Neel Madhav |
An Extension of Standard ML Modules with Subtyping and Inheritance. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Parisi-Presicce, Alfonso Pierantonio |
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Catriel Beeri, Tova Milo |
Subtyping in OODB's. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luca Cardelli, Simone Martini 0001, John C. Mitchell, Andre Scedrov |
An Extension of System F with Subtyping. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Louis Curien, Giorgio Ghelli |
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luca Cardelli |
A Pure Calculus of Subtyping, and Applications (Outline). |
DBPL |
1991 |
DBLP BibTeX RDF |
|
16 | Richard C. H. Connor, David J. McNally, Ronald Morrison |
Subtyping and Assignment in Database Programming Languages. |
DBPL |
1991 |
DBLP BibTeX RDF |
|
16 | Geoffrey Smith |
Polymorphic Type Inference for Languages with Overloading and Subtyping. |
|
1991 |
RDF |
|
16 | William Gareth James Howells |
Data modelling, subtyping and functional programming. |
|
1991 |
RDF |
|
16 | Pierre America, Frank van der Linden 0001 |
A Parallel Object-Oriented Language with Inheritance and Subtyping. |
OOPSLA/ECOOP |
1990 |
DBLP DOI BibTeX RDF |
|
16 | William R. Cook, Walter L. Hill, Peter S. Canning |
Inheritance Is Not Subtyping. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
Smalltalk |
16 | Surajit Chaudhuri |
Database Types: A Plea for Simplicity (A Naive Semantics of Subtyping). |
DS-4 |
1990 |
DBLP BibTeX RDF |
|
16 | Luca Cardelli |
Structural Subtyping and the Notion of Power Type. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |
Type-based specialization of xml transformations. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
types, xml, tree automata, program specialization |
10 | Donna Malayeri, Jonathan Aldrich |
CZ: multiple inheritance without diamonds. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
diamond problem, modularity, multiple inheritance, multimethods |
10 | Luciano Vieira de Araújo, Sabri S. Sanabani, Ester C. Sabino, João Eduardo Ferreira |
HIVSetSubtype: software for subtype classification of HIV-1 sequences. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
HIV subtype, HIV |
10 | Luís Dominguez |
Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
10 | Kenneth L. Knowles, Cormac Flanagan |
Compositional reasoning and decidable checking for dependent contract types. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
10 | Jeremy G. Siek, Ronald Garcia, Walid Taha |
Exploring the Design Space of Higher-Order Casts. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ciera Jaspan, Jonathan Aldrich |
Checking Framework Interactions with Relationships. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Bruno C. d. S. Oliveira |
Modular Visitor Components. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
A theory of typed coercions and its applications. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance |
10 | Sheng-Lung Peng, Yu-Wei Tsay |
Verification of Pathotyping by Quasispecies Model. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Vasco Thudichum Vasconcelos |
Fundamentals of Session Types. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
Efficient asymmetric inclusion between regular expression types. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
language inclusion, XML, regular expressions |
10 | Martin Hofmann 0001, Dulma Rodriguez |
Efficient Type-Checking for Amortised Heap-Space Analysis. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Resource analysis, Semantics, OOP, Type systems |
10 | Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi |
Type Systems for Bigraphs. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Donna Malayeri |
CZ: multiple inheritance without diamonds. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
diamond problem, multiple inheritance |
10 | Federico Ambrogi, Elena Raimondi, Daniele Soria, Patrizia Boracchi, Elia Biganzoli |
Cancer Profiles by Affinity Propagation. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic, abstraction and inheritance. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
modularity, classes, separation logic |
10 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
10 | Sam Tobin-Hochstadt, Matthias Felleisen |
The design and implementation of typed scheme. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type systems, scheme |
10 | Sylvain Lebresne |
A System F with Call-by-Name Exceptions. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Cosimo Laneve, Luca Padovani |
The Pairing of Contracts and Session Types. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Simon Denier, Yann-Gaël Guéhéneuc |
Mendel: A Model, Metrics, and Rules to Understand Class Hierarchies. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Albert Cohen 0001, Louis Mandel, Florence Plateau, Marc Pouzet |
Abstraction of Clocks in Synchronous Data-Flow Systems. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks |
10 | Raymond Hu, Nobuko Yoshida, Kohei Honda 0001 |
Session-Based Distributed Programming in Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
Scala for generic programmers. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
scala, polytypic programming, datatype-generic programming |
10 | Jindian Su, Shanshan Yu, Heqing Guo |
Analysis of Web Service Substitutability Based on Typed Pi-Calculus. |
EUC (2) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Michael Lutz 0001 |
Ontology-Based Descriptions for Semantic Discovery and Composition of Geoprocessing Services. |
GeoInformatica |
2007 |
DBLP DOI BibTeX RDF |
GI service discovery, GI service composition, Spatial data infrastractures, Ontologies, Matchmaking |
10 | Robert Bruce Findler, Shu-yu Guo, Anne Rogers |
Lazy Contract Checking for Immutable Data Structures. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Martin Sulzmann, Kenny Zhuo Ming Lu |
XHaskell - Adding Regular Expression Types to Haskell. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Nabil Hameurlain |
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Maurizio Cimadamore, Mirko Viroli |
Reifying wildcards in Java using the EGO approach. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
java wildcards, variant parametric types, java generics |
10 | Audrey Tang |
Perl 6: reconciling the irreconcilable. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Claudio Sacerdoti Coen, Enrico Tassi |
Working with Mathematical Structures in Type Theory. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr |
Tracking Linear and Affine Resources with Java(X). |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | John H. Reppy, Aaron Turon |
Metaprogramming with Traits. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jeremy G. Siek, Walid Taha |
Gradual Typing for Objects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Wehr, Ralf Lämmel, Peter Thiemann 0001 |
JavaGI : Generalized Interfaces for Java. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Andrew Kennedy |
Compiling with continuations, continued. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
continuations, monads, optimizing compilation, continuation passing style, functional programming languages |
10 | Alex Lohfink, Tom W. Carnduff, Nathan Thomas, J. Mark Ware |
An object-oriented approach to the representation of spatiotemporal geographic features. |
GIS |
2007 |
DBLP DOI BibTeX RDF |
geographic data modeling spatial and spatio-temporal data modeling, object-orientation |
10 | Kathleen Fisher |
Typing ad hoc data. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
ad hoc data, domain-specific languages, dependent types, data description languages |
10 | Friedrich Steimann, Thomas Kühne 0001 |
Piecewise Modelling with State Subtypes. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tien N. Nguyen |
Multi-level Architectural Evolution Management. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
cJ: enhancing java with safe type conditions. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, meta-programming, language extensions |
10 | Gary T. Leavens |
Tutorial on JML, the java modeling language. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
10 | Luís Caires |
Logical Semantics of Types for Concurrency. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Nabil Hameurlain |
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Cong-Cong Xing |
An Object Type Graph System. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Nabil Hameurlain |
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko |
Streaming Networks for Coordinating Data-Parallel Programs. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson |
Uniqueness Typing Redefined. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | DeLesley Hutchins |
Eliminating distinctions of class: using prototypes to model virtual classes. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types |
10 | Thomas VanDrunen |
Java interfaces in CS 1 textbooks. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
interfaces, polymorphism, CS 1 |
10 | Nabil Hameurlain |
A Formal Framework for Component Pr otocols Behavioural Compatibility. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zhenyue Deng, Geoffrey Smith 0001 |
Type inference and informative error reporting for secure information flow. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio |
Object-Orientation in the UTP. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky |
A Core Calculus for Scala Type Checking. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Matthieu Sozeau |
Subset Coercions in Coq. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Franz Puntigam |
Internal and External Token-Based Synchronization in Object-Oriented Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
Efficient type inference for secure information flow. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
security, algorithm, information flow, time complexity, type inference |
10 | Alexander V. Shafarenko |
Streaming Networks for Coordinating Data-Parallel Programs (Position Statement). |
Asia-Pacific Computer Systems Architecture Conference |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Suad Alagic, Mark Royer, David Briggs |
Verification Theories for XML Schema. |
BNCOD |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Premysl Brada, Lukas Valenta |
Practical Verification of Component Substitutability Using Subtype Relation. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Brian Henderson-Sellers, Cesar Gonzalez-Perez |
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
Encoding CDuce in the Cpi-Calculus. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Simon Marlow |
An extensible dynamically-typed hierarchy of exceptions. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
Haskell, exceptions |
10 | Robert Harper 0001, Frank Pfenning |
On equivalence and canonical forms in the LF type theory. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
type theory, Logical frameworks |
10 | Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic |
Mechanized Metatheory for the Masses: The PoplMark Challenge. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Nabil Hameurlain |
Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Haruo Hosoya |
Type Systems for XML. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Peter Thiemann 0001 |
Towards a Type System for Analyzing JavaScript Programs. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Stephen Tse, Steve Zdancewic |
A Design for a Security-Typed Language with Certificate-Based Declassification. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Joachim Niehren, Tim Priesnitz, Zhendong Su 0001 |
Complexity of Subtype Satisfiability over Posets. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Henning Makholm, J. B. Wells |
Type inference, principal typings, and let-polymorphism for first-class mixin modules. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mixin modules, record concatenation, row unification, type systems, polymorphism |