A Systematic Method for Designing Abstract Narrowing Machines. - Hendrik C. R. Lock (Declarative Programming, 1991)

The Implementation of Lazy Narrowing. - Manuel M. T. Chakravarty; Hendrik C. R. Lock (PLILP, 1991)

Exploiting Non-Determinism through Laziness in Guarded Functional Languages. - Roland Dietrich; Hendrik C. R. Lock (TAPSOFT, Vol.2, 1991)

Issues in the implementation of Prolog, and their optimization. - Hendrik C. R. Lock; Anamaria Martins (Microprocessing and Microprogramming, 1991)

Residuation with Type Constraints is Complete. - Hendrik C. R. Lock (WLP, 1993)

The implementation of functional logic programming languages. - Hendrik C. R. Lock (Oldenbourg, 1993)

The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. - Manuel M. T. Chakravarty; Hendrik C. R. Lock (ICLP Workshop: Integration of Declarative Paradigms, 1994)

Improving Search for Job-Shop Scheduling with CLP(FD). - Silvia Breitinger; Hendrik C. R. Lock (PLILP, 1994)

Using Constraint Logic Programming for Industrial Scheduling Problems. - Silvia Breitinger; Hendrik C. R. Lock (Logic Programming: Formal Methods and Practical Applications, 1995)

Co-ordinating Parallel Computation through Equational Constraints. - Manuel M. T. Chakravarty; Yike Guo; Martin Köhler; Hendrik C. R. Lock (WLP, 1995)

Towards the Uniform Implementation of Declarative Languages. - Manuel M. T. Chakravarty; Hendrik C. R. Lock (Comput. Lang., 1997)

Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. - Farid Ajili; Hendrik C. R. Lock (PLILP/ALP, 1998)

GOFFIN: Higher-Order Functions Meet Concurrent Constraints. - Manuel M. T. Chakravarty; Yike Guo; Martin Köhler; Hendrik C. R. Lock (Sci. Comput. Program., 1998)