Search results for "subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
10	Olivier Danvy, René Vestergaard	Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF
10	Fairouz Kamareddine, Alejandro Ríos 0001	Generalized beta-Reduction and Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF
10	Xuandong Li, Guoliang Zheng	A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.	APSEC	1996	DBLP DOI BibTeX RDF	software maintenance, software reuse, inheritance, encapsulation, object-oriented programming languages
10	Alexander V. Shafarenko	A Nonannotative Approach to Distributed Data-Parallel Computing.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	Franz Puntigam	Synchronization Expressed in Types of Communication Channels.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	John H. Reppy, Jon G. Riecke	Simple Objects for Standard ML.	PLDI	1996	DBLP DOI BibTeX RDF	object-oriented programming, functional programming, standard ML, programming languages design
10	Karl-Filip Faxén	Polyvariance, Polymorphism and Flow Analysis.	LOMAPS	1996	DBLP DOI BibTeX RDF	polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
10	Jens Palsberg, Patrick O'Keefe	A Type System Equivalent to Flow Analysis	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	constraints, flow analysis
10	Giuseppe Castagna	Covariance and Contravariance: Conflict without a Cause.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	object-oriented languages, type theory
10	Heinz W. Schmidt, Jian Chen	Reasoning about Concurrent Objects.	APSEC	1995	DBLP DOI BibTeX RDF	D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation
10	Martín Abadi, Luca Cardelli	An Imperative Object Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
10	Jens Palsberg, Patrick O'Keefe	A Type System Equivalent to Flow Analysis. (long version: TOPLAS 17 (4): 576-599 (1995))	POPL	1995	DBLP DOI BibTeX RDF
10	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
10	Kim B. Bruce, Angela Schuett, Robert van Gent	PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.	ECOOP	1995	DBLP DOI BibTeX RDF	design and semantics of object-oriented languages, Type systems
10	Simon Courtenage, Alexandra Poulovassilis	Combining Inheritance and Parametric Polymorphism in a Functional Database Language.	BNCOD	1995	DBLP DOI BibTeX RDF
10	Carlos Baquero, Francisco Moura	Concurrency Annotations in C++.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C++
10	Francesco Parisi-Presicce, Alfonso Pierantonio	An Algebraic Theory of Class Specification.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	interconnection mechanisms, modularity, inheritance, algebraic specifications
10	Clemens A. Szyperski, Stephen M. Omohundro, Stephan Murer	Engineering a Programming Language: The Type and Class System of Sather.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
10	Satish Thatté	Automated Synthesis of Interface Adapters for Reusable Classes.	POPL	1994	DBLP DOI BibTeX RDF
10	Claus Hintermeier, Claude Kirchner, Hélène Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations.	ICALP	1994	DBLP DOI BibTeX RDF
10	Martín Abadi, Luca Cardelli	A Theory of Primitive Objects - Scond-Order Systems.	ESOP	1994	DBLP DOI BibTeX RDF
10	Ted L. Briggs, John Werth	A Specification Language for Object-Oriented Analysis and Design.	ECOOP	1994	DBLP DOI BibTeX RDF	Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
10	Arthur G. Duncan	Implementing Internal Program Representations with Ada and Ada 9X.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
10	Paul B. Jackson	Exploring Abstract Algebra in Constructive Type Theory.	CADE	1994	DBLP DOI BibTeX RDF
10	Martin Hofmann 0001, Benjamin C. Pierce	A Unifying Type-Theoretic Framework for Objects.	STACS	1994	DBLP DOI BibTeX RDF
10	Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel	Types in School.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
10	Benjamin C. Pierce, David N. Turner	Object-Oriented Programming without Recursive Types.	POPL	1993	DBLP DOI BibTeX RDF
10	José Félix Costa, Amílcar Sernadas, Cristina Sernadas	Data Encapsulation and Modularity: Three Views of Inheritance.	MFCS	1993	DBLP DOI BibTeX RDF
10	Herman Balsters, Rolf A. de By, Roberto V. Zicari	Typed Sets as a Basis for Object-Oriented Database Schemas.	ECOOP	1993	DBLP DOI BibTeX RDF	object-oriented databases, type theory, sets, constraint specification
10	Adrian Fiech	Category of Delta-Functors.	MFPS	1993	DBLP DOI BibTeX RDF
10	Philip S. Santas	A Type System for Computer Algebra.	DISCO	1993	DBLP DOI BibTeX RDF
10	Rafiul Ahad, James Davis 0003, Stefan Gower, Peter Lyngbæk, Andra Marynowski, Emmanuel O. Onuegbe	Supporting Access Control in an Object-Oriented Database Language.	EDBT	1992	DBLP DOI BibTeX RDF
10	Bernd Krieg-Brückner, Donald Sannella	Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
10	Pierre-Louis Curien, Roberto Di Cosmo	A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.	ICALP	1991	DBLP DOI BibTeX RDF
10	Gary T. Leavens, Don Pigozzi	Typed Homomorphic Relations Extended with Sybtypes.	MFPS	1991	DBLP DOI BibTeX RDF
10	Neel Madhav, Sigurd Meldal	An object-oriented approach to formal specification of reactive systems.	ICDCS	1991	DBLP DOI BibTeX RDF
10	Pierre America	Formal Techniques for Parallel Object-Oriented Languages.	CONCUR	1991	DBLP DOI BibTeX RDF
10	Jukka Paakki, Anssi Karhinen, Tomi Silander	Orthogonal type extensions and reductions.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
10	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
10	John C. Mitchell	Toward a Typed Foundation for Method Specialization and Inheritance.	POPL	1990	DBLP DOI BibTeX RDF
10	Dean Jacobs	Type Declarations as Subtype Constraints in Logic Programming.	PLDI	1990	DBLP DOI BibTeX RDF
10	Pierre-Louis Curien, Giorgio Ghelli	Coherence of Subsumption.	CAAP	1990	DBLP DOI BibTeX RDF
10	Luca Cardelli, John C. Mitchell	Operations on Records.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
10	Daniel C. Halbert, Patrick D. O'Brien	Using Types and Inheritance in Object-Oriented Languages.	ECOOP	1987	DBLP DOI BibTeX RDF