D. Miller

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 .

Counting Distinct Strings

William F. Smyth, Dennis W. G. Moore, D. Miller, 1999, Algorithmica.

A CONTINUOUS TALE ON CONTINUOUS AND SEPARATELY CONTINUOUS FUNCTIONS

K. Ciesielski, D. Miller, 2015 .