Principal Signatures for Higher-order Program Modules

Principal Signatures for Higher-order Program Modules (1993)

by Mads Tofte , Mds Torre

Citations:

30 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Principal Signatures for Higher-order Program Modules	SVM HeaderParse 0.1
AUTHOR NAME	Mads Tofte	user correction - Legacy Corrections
AUTHOR NAME	Mds Torre	user correction - Legacy Corrections
AUTHOR AFFIL	Department o.f Computer Science, University o.f Copenhagen	user correction - Legacy Corrections
ABSTRACT	In this paper we present a lmguage for progq'amming with higher-order modules. t The lmguage, HML, is based on Stmdm'd ML in that it provides structures, signatures md functors. In HML, functors cm be declm'ed inside structures md specified inside signatures; this is not possible in Stmdm'd ML.	user correction - Legacy Corrections
YEAR	1993	user correction - Legacy Corrections
CITATIONS	13 found	ParsCit 1.0