Modules as gradually-typed objects

Authors:
Michael Homer;Kim B. Bruce;James Noble;Andrew P. Black
Affiliations:
Victoria University of Wellington, Wellington, New Zealand;Pomona College, Claremont, CA;Victoria University of Wellington, Wellington, New Zealand;Portland State University, Portland, OR
Venue:
Proceedings of the 7th Workshop on Dynamic Languages and Applications
Year:
2013

Citing 16
Cited 0

Programming in MODULA-2 (3rd corrected ed.)

Programming in MODULA-2 (3rd corrected ed.)
Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A overview of modular smalltalk

OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Modula-3 language definition

ACM SIGPLAN Notices
Annotating objects for transport to other worlds

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Abstraction mechanisms in CLU

Communications of the ACM
Import is Not Inheritance - Why We Need Both: Modules and Classes

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Modules for standard ML

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The java module system: core design and semantic definition

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
An Introduction to the Construction and Verification of Alphard Programs

IEEE Transactions on Software Engineering
Modules as objects in newspeak

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Languages as libraries

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Ambient-Oriented programming in ambienttalk

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Patterns as objects in grace

Proceedings of the 8th symposium on Dynamic languages
Grace: the absence of (inessential) difficulty

Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Formal specification of a JavaScript module system

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Grace is a gradually typed, object-oriented language for use in education. Grace needs a module system for several reasons: to teach students about modular program design, to organise large programs, especially its self-hosted implementation, and to provide access to resources defined in other languages. Grace uses its basic organising construct, objects, to provide modules, and is then able to use its gradual structural typing to obtain a number of interesting features without any additional mechanisms.