Logic programs as types for logic programs - Logic in Computer ...

Download PDF
12 downloads 0 Views 762KB Size Report
Comment
Ehud ShapiroI. Weizmann Institute. Abstract. Type checking can be eztremely ...... In Ehud Shapiro, editor,. Concurrent Prolog, chapter 28. MIT Press,. 1987.