[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Typing abstract data types
Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 作者Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 文件大小1024.12KB
- 发表时间1995
- DOI10.1007/BFb0014443
- 页码437-452