Work

Program Units as Higher-Order Modules

Year: 1998

Type: article

Abstract: We have designed a new module language called program units. Units support separate compilation, independent module reuse, cyclic dependencies, hierarchical structuring, and dynamic linking. In this paper, we present untyped and typed models of units.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/s1571-0661(05)80701-7

Authors: Matthew Flatt, Matthias Felleisen

Institution: Rice University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2040185748

FWCI:

Cites: 25

Cited by:

Related to: 10