论文信息 - A Semantics for Higher-Order Functors

A Semantics for Higher-Order Functors

Standard ML has a module system that allows one to define parametric modules, called functors. Functors are “first-order,” meaning that functors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are implemented in the current version of Standard ML of New Jersey and have proved useful in programming practice.

Mads Tofte | David B. MacQueen

[1] Xavier Leroy,et al. Manifest types, modules, and separate compilation , 1994, POPL '94.

[2] Andrew W. Appel,et al. Standard ML of New Jersey , 1991, PLILP.

[3] David B. MacQueen. Modules for standard ML , 1984, LFP '84.

[4] Robin Milner,et al. Commentary on standard ML , 1990 .

[5] Donald Sannella,et al. Extended ML: Past, Present, and Future , 1990, ADT.

[6] Mads Tofte. Principal Signatures for Higher-Order Program Modules , 1994, J. Funct. Program..

[7] Didier Rémy,et al. Type checking records and variants in a natural extension of ML , 1989, POPL '89.

[8] Mads Tofte. Principal signatures for higher-order program modules , 1992, POPL '92.

[9] John C. Mitchell,et al. Higher-order modules and the phase distinction , 1989, POPL '90.

[10] David B. MacQueen. Using dependent types to express modular structure , 1986, POPL '86.

[11] Mark Lillibridge,et al. A type-theoretic approach to higher-order modules with sharing , 1994, POPL '94.

[12] Maria-Virginia Aponte. Extending record typing to type parametric modules with sharing , 1993, POPL '93.

[13] Robin Milner,et al. Definition of standard ML , 1990 .

[14] John C. Mitchell,et al. The essence of ML , 1988, POPL '88.