Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller. Normalization and Partial Evaluation of Functional Logic Programs. PhD thesis, University of Kiel, Germany, 2017. [doi]

Abstract

Abstract is missing.