Parameterized modules for classes and extensible functions

Authors:
Keunwoo Lee;Craig Chambers
Affiliations:
Department of Computer Science and Engineering, University of Washington, Seattle, WA;Department of Computer Science and Engineering, University of Washington, Seattle, WA
Venue:
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Year:
2006

Citing 31
Cited 2

Virtual classes: a powerful mechanism in object-oriented programming

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Manifest types, modules, and separate compilation

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type-theoretic approach to higher-order modules with sharing

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simple objects for Standard ML

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Mixin modules

Proceedings of the first ACM SIGPLAN international conference on Functional programming
Objective ML: a simple object-oriented extension of ML

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type checking higher-order polymorphic multi-methods

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Classes and mixins

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Units: cool modules for HOT languages

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The design of a class mechanism for Moby

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
MultiJava: modular open classes and symmetric multiple dispatch for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Jiazzi: new-age components for old-fasioned Java

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs

ACM Transactions on Software Engineering and Methodology (TOSEM)
The C++ Programming Language

The C++ Programming Language
A type system for higher-order modules

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mixin Modules in a Call-by-Value Setting

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Object-Oriented Multi-Methods in Cecil

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
A Statically Safe Alternative to Virtual Types

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Modular Statically Typed Multimethods

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
True Modules for Java-like Languages

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Family Polymorphism

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Relaxed MultiJava: balancing extensibility and modular typechecking

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Modular typechecking for hierarchically extensible datatypes and functions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Scalable extensibility via nested inheritance

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A virtual class calculus

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Evaluating support for features in advanced modularization technologies

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Chai: traits for Java-like languages

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
An overview of caesarj

Transactions on Aspect-Oriented Software Development I

Modular multiple dispatch with multiple inheritance

Proceedings of the 2007 ACM symposium on Applied computing
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized modules permit subclasses and function extensions to be defined and typechecked once, and then reused to extend multiple argument modules. F(Eml)'s predecessor, Eml, supported classes and extensible functions with multiple dispatch, but its support for parameterized modules was weak. F(Eml)'s key novel features are alias declarations, generalized type relations in module signatures, and a nontrivial definition of signature subsumption.