A semantics for higher-order functors

  • David B. MacQueen
  • Mads Tofte
Contributed Papers

DOI: 10.1007/3-540-57880-3_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 788)
Cite this paper as:
MacQueen D.B., Tofte M. (1994) A semantics for higher-order functors. In: Sannella D. (eds) Programming Languages and Systems — ESOP '94. ESOP 1994. Lecture Notes in Computer Science, vol 788. Springer, Berlin, Heidelberg


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.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • David B. MacQueen
    • 1
  • Mads Tofte
    • 2
  1. 1.AT&T Bell LabsNew JerseyUSA
  2. 2.Dept. of Computer ScienceCopenhagen UniversityDenmark

Personalised recommendations