Synthesizing Object-Oriented and Functional Design to Promote Re-Use

No abstract is available for this paper.

• Publication year

  1998

• Venue

  European Conference on Object-Oriented Programming

• Publication date

  1998-07-20

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/BFb0054088
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• PLT MzScheme: Language Manual

  2000cited by this paper
• The essence of the Visitor pattern

  1998cited by this paper
• A little Java, a few patterns

  1997cited by this paper
• The Translator Pattern - External Functionality with Homomorphic Mappings

  1997cited by this paper
• Genericity in Java with Virtual Types

  1997cited by this paper
• DrScheme: A Pedagogic Programming Environment for Scheme

  1997cited by this paper
• Composite design patterns

  1997cited by this paper
• Pizza into Java: translating theory into practice

  1997cited by this paper
• Evolution of object behavior using context relations

  1996cited by this paper
• Mixin modules

  1996cited by this paper
• The Java Language Specification

  1996cited by this paper
• Eecient Inference of Object Types

  1995cited by this paper
• Type inference for recursively constrained types and its application to OOP

  1995cited by this paper
• Flexible command interpreter: a pattern for an extensible and language-independent interpreter system

  1995cited by this paper
• Efficient implementation of adaptive software

  1995cited by this paper
• Pattern languages of program design

  1995cited by this paper
• Monad transformers and modular interpreters

  1995cited by this paper
• Building interpreters by composing monads

  1994cited by this paper
• Implementation of Adaptive Software

  1994cited by this paper
• An Experiment in Software Prototyping Productivity

  1994cited by this paper
• Efficient inference of object types

  1994cited by this paper
• Extensible Denotational Language Specifications

  1994cited by this paper
• User-defined types and procedural data structures as complementary approaches to data abstraction

  1994cited by this paper
• Building Interpreters by Transforming Stratified Monads

  1994cited by this paper
• Report on the programming language Haskell: a non-strict, purely functional language version 1.2

  1992cited by this paper
• Revised4 report on the algorithmic language scheme

  1991cited by this paper
• Macros in Scheme

  1991cited by this paper
• Definition of standard ML

  1990cited by this paper
• Object-Oriented Programming Versus Abstract Data Types

  1990cited by this paper
• Where is the ?c?

  1978cited by this paper
• The C Programming Language

  1978cited by this paper

• Constraint Hypergraphs as a Unifying Framework for Digital Twins

  2025cites this paper
• Modular abstract syntax trees (MAST): substitution tensors with second-class sorts

  2025cites this paper
• A mapping study of language features improving object-oriented design patterns

  2023cites this paper
• Towards Safer Parallel STL Usage

  2022cites this paper
• Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials

  2022cites this paper
• High-performance symbolic-numerics via multiple dispatch

  2021influential citation
• Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems

  2021cites this paper
• Featherweight go

  2020cites this paper
• Decomposition diversity with symmetric data and codata

  2019cites this paper
• Extensible domain-specific languages in object-oriented programming

  2017cites this paper
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)

  2017cites this paper
• Early Evaluation of Implementation Alternatives of Composite Data Structures Toward Maintainability

  2017cites this paper
• An Analysis and Discussion of Solutions to the Expression Problem Across Programming Languages

  2017cites this paper
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse

  2017cites this paper
• 394 THE SUBCLASSING ANOMALY IN COMPILER EVOLUTION

  2017cites this paper
• The expression problem, trivially!

  2016cites this paper
• Object-oriented software extensions in practice

  2015cites this paper
• The Expression Problem, Gracefully

  2015cites this paper
• Programación Funcional y Herencia de Clases: Tipos de Datos Algebraicos Extensibles en Scala

  2014cites this paper
• On the use of type predicates in object-oriented software: the case of smalltalk

  2014cites this paper
• Folding domain-specific languages

  2014cites this paper
• Type Classes and Instance Chains: A Relational Approach

  2013cites this paper
• Type Classes and Instance Chains: A Relational Approach

  2013cites this paper
• Feature-oriented language families: a case study

  2013cites this paper
• Vues et transformations de programmes pour la modularité des évolutions. (Views and program transformations for modular maintenances)

  2013cites this paper
• Simplifying the analysis of c++ programs

  2013cites this paper
• Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

  2012cites this paper
• Extensibility for the Masses - Practical Extensibility with Object Algebras

  2012cites this paper
• Open and efficient type switch for C++

  2012cites this paper
• Extensions during Software Evolution: Do Objects Meet Their Promise?

  2012cites this paper
• Product Lines of Product Lines

  2011cites this paper
• A calculus for uniform feature composition

  2010cites this paper
• A functional approach to generic programming using adaptive traversals

  2010cites this paper
• Fun with Type Functions

  2010cites this paper
• Weaving generic programming and traversal performance

  2010cites this paper
• Functional Adaptive Programming

  2010influential citation
• Pure subtype systems

  2010influential citation
• Functional Programming at Work in Object-Oriented Programming

  2009cites this paper
• Typesafe Code Reuse Across ASTs via Code Generation Code Generation for AST Manipulators

  2009cites this paper
• Modular Visitor Components: A Practical Solution to the Expression Families Problem

  2009cites this paper
• Modular Visitor Components

  2009cites this paper
• On understanding data abstraction, revisited

  2009cites this paper
• Type Safe Extensible Programming

  2009cites this paper
• A Generative Approach to Traversal-based Generic Programming

  2009cites this paper
• The Runabout

  2008cites this paper
• RECURSIVE AND DYNAMIC STRUCTURES IN GENERIC PROGRAMMING

  2008cites this paper
• Migrating legacy video lectures to multimedia learning objects

  2008cites this paper
• An efficient and flexible toolkit for composing customized method dispatchers

  2008cites this paper
• Presentation Techniques for more Expressive Programs

  2008cites this paper
• Programming Languages for Scalable Software Extension and Composition

  2007cites this paper
• Solving the expression problem with true separate compilation

  2007cites this paper
• Matching Objects with Patterns

  2007cites this paper
• Incremental Extension of a Domain Specific Language Interpreter

  2007cites this paper
• Programmation par objets structurée en contextes

  2007cites this paper
• SOFTWARE EXTENSION AND COMPOSITION

  2007cites this paper
• Object-oriented pattern matching

  2007cites this paper
• Thèse (en version provisoire) presentée à la Faculté Informatique et Communications Laboratoire des Méthodes de Programmation Section Informatique École Polytéchnique Fédérale de Lausanne

  2007cites this paper
• Solving the expression problem in Haskell with true separate compilation

  2007cites this paper
• MultiJava: Design rationale, compiler implementation, and applications

  2006cites this paper
• Extensible programming with first-class cases

  2006cites this paper
• Expressive Type Systems for Object-Oriented Languages

  2006cites this paper
• Expressive type systems for object-oriented languages

  2006cites this paper
• Functional Visitors Revisited

  2006cites this paper
• Peak Objects

  2006cites this paper
• Extensible Compiler Construction

  2006cites this paper
• A virtual class calculus

  2006cites this paper
• PolyD: a flexible dispatching framework

  2005cites this paper
• MASPEGHI 2004 Mechnisms for Specialization, Generalization and Inheritance

  2004cites this paper
• Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung

  2004cites this paper
• MultiJava : Design Rationale , Compiler Implementation , and User Experience

  2004cites this paper
• Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C++

  2004cites this paper
• The Expression Problem Revisited

  2004cites this paper
• The Case for Multiple Views

  2004influential citation
• PROGRAMMING LANGUAGE ABSTRACTIONS FOR EXTENSIBLE SOFTWARE COMPONENTS

  2004cites this paper
• Independently Extensible Solutions to the Expression Problem

  2004cites this paper
• Recursive XML schemas, recursive XML queries, and relational storage: XML-to-SQL query translation

  2004cites this paper
• Frame-Based Code Generation of Mult i-Dimensional Feature Sets or Origami meets Frames

  2004cites this paper
• The expression problem, Scandinavian style

  2004cites this paper
• Organization and Program Committee

  2004cites this paper
• Anomaly-free component adaptation with class overriding

  2004cites this paper
• The expression problem revisited: Four new solutions using generics

  2004cites this paper
• Relaxed MultiJava: balancing extensibility and modular typechecking

  2003cites this paper
• Walkabout Revisited: The Runabout

  2003cites this paper
• Polyglot: An Extensible Compiler Framework for Java

  2003cites this paper
• Measuring and Improving Component-Based Software Development

  2003cites this paper
• The Subclassing Anomaly in Compiler Evolution

  2003cites this paper
• Visitor-Oriented Programming

  2003cites this paper
• Some challenging typing issues in object-oriented languages

  2003influential citation
• DSL Implementation in MetaOCaml, Template Haskell, and C++

  2003cites this paper
• Reconciling software extensibility with modular program reasoning

  2003cites this paper
• Java as a Functional Programming Language

  2002cites this paper
• OOPSLA ’ 98 Workshop # 12 : Pragmatic Issues in Using Frameworks , Implications for Framework Design Position Paper Micro-frameworks and Personalities

  2002cites this paper
• Modular typechecking for hierarchically extensible datatypes and functions

  2002cites this paper
• FC++: Functional tools for object‐oriented tasks

  2002cites this paper
• Half & Half: Multiple Dispatch and Retroactive Abstraction for Java TM†

  2002cites this paper
• Multiparadigm Programming with Object-Oriented Languages

  2002cites this paper
• VISTO: a declarative methodology for graphical user interfaces, based on Haskell

  2001cites this paper
• MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch

  2001cites this paper
• Using Accessory Functions to Generalize Dynamic Dispatch in Single-Dispatch Object-Oriented Languages

  2001cites this paper
• Implementing Extensible Compilers

  2001cites this paper