Extended Data Type Specifications and Foundations for Related Logic Programs
Abstract:
This paper summarizes some of my previous papers.
The paper is here.
FTP: ftp.uni-bremen.de:/pub/ZKW/INFORM/qian/exdsum.ps.gz
For a hard copy send a message to Zhenyu Qian.