M. Kk

发表

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 .