A constructive alternative to axiomatic data type definitions
Author:
Cartwright Robert
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05
2. Soft typing;ACM SIGPLAN Notices;2004-04
3. A new approach to abstract data types, I Informal development;Mathematical Structures in Computer Science;1992-06
4. Soft typing;ACM SIGPLAN Notices;1991-06
5. A notion of implementation for the specification language OBSCURE;Recent Trends in Data Type Specification;1991