Static dependent types for first class modules

No abstract available

This publication has 5 references indexed in Scilit:

The FX-87 Interpreter
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Abstract types have existential type
ACM Transactions on Programming Languages and Systems, 1988
Polymorphic effect systems
Published by Association for Computing Machinery (ACM) ,1988
Implementing RUSSELL
Published by Association for Computing Machinery (ACM) ,1986
Modules for standard ML
Published by Association for Computing Machinery (ACM) ,1984