Abstract Semantics for a Higher-Order Functional Language with Logic Variables

Abstract

Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. 
DOI: 10.1145/143165.143236

Topics

5 Figures and Tables

Slides referencing similar topics