Persistence and Type Abstraction
暂无分享,去创建一个
[1] John C. Mitchell,et al. Abstract types have existential types , 1985, POPL.
[2] Robin Milner,et al. A proposal for standard ML , 1984, LFP '84.
[3] John C. Reynolds,et al. Three Approaches to Type Structure , 1985, TAPSOFT, Vol.1.
[4] Ronald Morrison,et al. An Approach to Persistent Programming , 1989, Comput. J..
[5] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[6] C. Q. Lee,et al. The Computer Journal , 1958, Nature.
[7] David B. MacQueen. Using dependent types to express modular structure , 1986, POPL '86.
[8] David B. MacQueen. Modules for standard ML , 1984, LFP '84.