Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda 0001 |
Global Principal Typing in Partially Commutative Asynchronous Sessions. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Flemming Nielson, Hanne Riis Nielson |
Types from Control Flow Analysis. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Betti Venneri, Viviana Bono |
MOMI: a calculus for mobile mixins. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine |
Associated types and constraint propagation for mainstream object-oriented generics. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C# |
29 | Eric E. Allen, Jonathan Bannet, Robert Cartwright |
A first-class approach to genericity. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Yong Luo 0001, Zhaohui Luo |
Combining Incoherent Coercions for Sigma-Types. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Yoav Zibin, Joseph Gil |
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Points-To Analysis of Java in the Presence of Exceptions. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Java, complexity, exceptions, Points-to analysis |
29 | Olivier Raynaud, Eric Thierry |
A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Michael Siff, Satish Chandra 0001, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps |
Coping with Type Casts in C. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Neal Glew |
Type Dispatch for Named Hierarchical Types. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Nobuko Yoshida, Matthew Hennessy |
Suptyping and Locality in Distributed Higher Order Processes (extended abstract). |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Concrete Type-Inference in the Presence of Exceptions. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Benjamin C. Pierce |
Bounded Quantification is Undecidable. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Satish Thatté |
Type Inference and Implicit Scaling. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Silvia Clerici, Fernando Orejas |
GSBL: An Algebraic Specification Language Based on Inheritance. |
ECOOP |
1988 |
DBLP DOI BibTeX RDF |
genericity, specification languages, inheritance, Algebraic specification |
26 | Michael Pedersen, Gordon D. Plotkin |
A Language for Biochemical Systems. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
parametrised modules, subtyping, coloured Petri nets, Large-scale |
26 | Oleg Kiselyov, Chung-chieh Shan |
Lightweight monadic regions. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems |
26 | Atsushi Igarashi, Mirko Viroli |
Variant path types for scalable extensibility. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
scalable extensibility, variant path types, subtyping, variance |
26 | Marina Polishchuk, Ben Liblit, Chloë W. Schulze |
Dynamic heap type inference for program understanding and debugging. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection |
26 | Sonia Fagorzi, Elena Zucca |
A Framework for Type Safe Exchange of Mobile Code. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
parametric calculus, static and dynamic typechecking, subtyping, mobile code |
26 | Atsushi Igarashi, Hideshi Nagira |
Union types for object-oriented programming. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
java, subtyping, language design, language semantics, union types |
26 | Jerome Vouillon |
Polymorphic regular tree types and patterns. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, subtyping, tree automata |
26 | Tobias Lindahl, Konstantinos Sagonas |
Practical type inference based on success typings. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, constraint-based type inference |
26 | George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy software. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
pointer qualifier, libraries, subtyping, Memory safety |
26 | Giovanni Rimassa, Mirko Viroli |
Understanding access restriction of variant parametric types and Java wildcards. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
java wildcards, use-site variance, variant parametric types, subtyping, java generics |
26 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
XML, polymorphism, subtyping, tree automata |
26 | Kevin Bierhoff, Jonathan Aldrich |
Lightweight object specification with typestates. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
union and intersection types, refinement, substitutability, typestate, behavioral subtyping |
26 | Tobias Lindahl, Konstantinos Sagonas |
TypEr: a type annotator of Erlang code. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, principal typings, constraint-based type inference |
26 | Jean-Louis Colaço, Marc Pouzet |
Type-based initialization analysis of a synchronous dataflow language. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre |
26 | Edward A. Lee, Yuhong Xiong |
A behavioral type system and its application in Ptolemy II. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
26 | Viviana Bono, Michele Bugliesi, Silvia Crafa |
Typed interpretations of extensible objects. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization |
26 | Benjamin C. Pierce, David N. Turner |
Local type inference. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, subtyping |
26 | Dominique Colnet, Luigi Liquori |
Match-O, A Dialect of Eiffel with Match-Types. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current |
26 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
26 | Gerald Baumgartner, Vincent F. Russo |
Implementing Signatures for C++. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping |
26 | Derek Coleman, Fiona Hayes, Stephen Bear |
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods |
26 | Steffen van Bakel, Ugo de'Liguoro |
Logical Equivalence for Subtyping Object and Recursive Types. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Object calculi, Type theory, Program logic |
26 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson |
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen |
Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Simon J. Gay, Malcolm Hole |
Subtyping for session types in the pi calculus. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Steffen van Bakel, Ugo de'Liguoro |
Subtyping Object and Recursive Types Logically. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe Object Composition in the Presence of Subtyping. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Kenny Zhuo Ming Lu, Martin Sulzmann |
An Implementation of Subtyping Among Regular Expression Types. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Vincent Simonet |
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Emmanuel Coquery, François Fages |
Subtyping Constraints in Quasi-lattices. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Atsushi Igarashi, Mirko Viroli |
On Variance-Based Subtyping for Parametric Types. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Alexander V. Shafarenko |
A symmetry-based formalism for array subtyping. |
ACM SIGAPL APL Quote Quad |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Joe Hurd |
Predicate Subtyping with Predicate Sets. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Robert Bruce Findler, Mario Latendresse, Matthias Felleisen |
Behavioral contracts and behavioral subtyping. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jörgen Gustavsson, Josef Svenningsson |
A Usage Analysis with Bounded Usage Polymorphism and Subtyping. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Alexandre Miquel |
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Pascal Zimmer |
Subtyping and Typing Algorithms for Mobile Ambients. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Neelam Soundarajan, Stephen Fridella |
Behavioral Subtyping and Behavioral Enrichment of Multimethods. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | John M. Rushby, Sam Owre, Natarajan Shankar |
Subtypes for Specifications: Predicate Subtyping in PVS. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS |
26 | Peter Sewell |
Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Michael Hollins, John Rosenberg, Michael Hitchens |
Subtyping and Protection in Persistent Programming Languages. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Jerzy Tiuryn |
A Sequent Calculus for Subtyping Polymorphic Types. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
26 | François Pottier |
Simplifying Subtyping Constraints. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Flemming Nielson, Hanne Riis Nielson, Torben Amtoft |
Polymorphic Subtyping for Effect Analysis: The Algorithm. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann |
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Viviana Bono, Luigi Liquori |
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jerzy Tiuryn, Mitchell Wand |
Type Reconstruction with Recursive Types and Atomic Subtyping. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Geoffrey Smith 0001 |
Polymorphic Type Inference with Overloading and Subtyping. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Recursive Subtyping. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
26 | QingMing Ma |
Parametricity as Subtyping. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Kaes |
Type Inference in the Presence of Overloading, Subtyping and Recursive Types. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Noam Zeilberger |
Refinement types and computational duality. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
20 | Nicholas Cameron 0001, Sophia Drossopoulou |
Existential Quantification for Variant Ownership. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Christopher A. Stone, Robert Harper 0001 |
Extensional equivalence and singleton types. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
equivalence algorithms, logical relations, Singleton types |
20 | Gary T. Leavens |
JML's Rich, Inherited Specifications for Behavioral Subtypes. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Cong-Cong Xing |
Enhancing program verifications by restricting object types. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
object types, OOP, program verification |
20 | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
Variance and Generalized Constraints for C# Generics. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Alain Frisch |
OCaml + XDuce. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
CDuce, XDuce, regular expression types, XML, type inference, OCaml |
20 | Jens Palsberg, Tian Zhao 0002, Trevor Jim |
Automatic discovery of covariant read-only fields. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
constraints, Types |
20 | Nam Tran II, David Abramson 0001, Christine Mingins |
Call-Ordering Constraints. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Juan Chen, David Tarditi |
A simple typed intermediate language for object-oriented languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
class and object encoding, typed intermediate language |
20 | Juan Chen |
Decidable subclassing-bounded quantification. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
bounded quantification, class and object encoding, decidability, typed intermediate language |
20 | Nabil Hameurlain |
On Compatibility and Behavioural Substitutability of Component Protocols. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Heike Wehrheim |
Refinement and Consistency in Component Models with Multiple Views. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
20 | James Leslie Keedy, Christian Heinlein, Gisela Menger |
Reuse Variables: Reusing Code and State in Timor. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
O'Klaim: A Coordination Language with Mobile Mixins. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Robert Kießling, Zhaohui Luo |
Coercions in Hindley-Milner Systems. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Franz Puntigam |
Flexible Types for a Concurrent Model. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
20 | O. Biberstein, Didier Buchs, Nicolas Guelfi |
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jörgen Gustavsson, Josef Svenningsson |
Constraint Abstractions. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Anna Mikhailova, Alexander B. Romanovsky |
Supporting Evolution of Interface Exceptions. |
Advances in Exception Handling Techniques |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce |
Regular expression types for XML. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
UML |
20 | Manuvir Das |
Unification-based pointer analysis with directional assignments. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Viviana Bono, Michele Bugliesi |
Interpretations of Extensible Objects and Types. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Jens Palsberg |
Equality-based flow analysis versus recursive types. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
type systems, flow analysis |
20 | Jonathan G. Rossie Jr. |
Logical Observable Entities. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Fritz Henglein, Jakob Rehof |
Constraint Automata and the Complexity of Recursive Subtype Entailment. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Fritz Henglein, Jakob Rehof |
The Complexity of Subtype Entailment for Simple Types. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm |
20 | Andreas Krall, Jan Vitek, R. Nigel Horspool |
Near Optimal Hierarchical Encoding of Types. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Jens Palsberg, Scott F. Smith 0001 |
Constrained Types and Their Expressiveness. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
constraints |
20 | My Hoang, John C. Mitchell |
Lower Bounds on Type Inference with Subtypes. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|