A Category-Theoretic Account of Program Modules

A Category-Theoretic Account of Program Modules (1994)

Cached

Download Links

[www.disi.unige.it]
[www.disi.unige.it]

Other Repositories/Bibliography

DBLP

by Eugenio Moggi

Venue:	Mathematical Structures in Computer Science
Citations:	23 - 6 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Category-Theoretic Account of Program Modules	user correction - Legacy Corrections
AUTHOR NAME	Eugenio Moggi	SVM HeaderParse 0.1
AUTHOR AFFIL	LFCS	SVM HeaderParse 0.2
AUTHOR ADDR	University of Edinburgh, EH9 3JZ Edinburgh, UK	SVM HeaderParse 0.1
ABSTRACT	The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions is independent from evaluation of programexpressions. We propose a new explanation based on \programming languages as indexed categories" and illustrates how ML can be extended to support higher order modules, by developing a category-theoretic semantics for a calculus of modules with dependent types. The paper outlines also a methodology, which may lead to a modular approach in the study of programming languages. Introduction The addition of module facilities to programming languages is motivated by the need to provide a better environment for the development and maintenance of large programs. Nowadays many programming languages include such facilities. Throughout the paper Standard ML (see [Mac85, HMM86, MTH90]) is taken as representative for these languages. The implementation of module facilities has been ...	user correction - Legacy Corrections
YEAR	1994	user correction - Legacy Corrections
VENUE	Mathematical Structures in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	101--117	INFERENCE
VOLUME	1	INFERENCE
CITATIONS	33 found	ParsCit 1.0