Higher-order constraint logic programming

Kang Wang. Higher-order constraint logic programming. PhD thesis, University of Bremen, Germany, 1994. [doi]

Abstract

Abstract is missing.