Extended Data Type Specifications and Foundations for Related Logic Programs

Abstract:

This paper summarizes some of my previous papers.

The paper is here.

Zhenyu Qian