P. Van

The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming a Declarative Debugging Scheme

J. Lloyd, F. Pfenning, M. Hanus, 1997 .

The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming Compile-time Pointer Reversal

J. Lloyd, F. Pfenning, M. Hanus, 1996 .

Games in the ClassroomPosition paper at OOPSLA ' 99 workshop # 2 ; Quest for E ective Classroom

P. Van, Emde Boas, 1999 .

A Game-Based Architecture for Developing Interactive Components in Computational Logic

John Darlington, Dale Miller, Tetsuo Ida, 2000 .

Metatheoretic Results for a Modal λ-Calculus

A. Krall, F. Pfenning, J. Moreno-Navarro, 2001 .

Context-sensitive Computations in Functional and Functional Logic Programs

Salvador Lucas, F. Pfenning, Salvador Lucas, 1998, J. Funct. Log. Program..