Extending record typing to type parametric modules with sharing
Author:
Aponte Maria Virginia
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A region inference algorithm;ACM Transactions on Programming Languages and Systems;1998-07
2. A syntactic theory of type generativity and sharing;Journal of Functional Programming;1996-09
3. Type isomorphisms for module signatures;Lecture Notes in Computer Science;1996
4. A model inference system for generic specification with application to code sharing;TAPSOFT '95: Theory and Practice of Software Development;1995
5. Principal signatures for higher-order program modules;Journal of Functional Programming;1994-07