2003 |
4 | EE | Jan A. Bergstra,
Pum Walters:
Operator programs and operator processes.
Information & Software Technology 45(10): 681-689 (2003) |
2000 |
3 | EE | Wan Fokkink,
Jasper Kamperman,
Pum Walters:
Lazy rewriting on eager machinery.
ACM Trans. Program. Lang. Syst. 22(1): 45-86 (2000) |
1998 |
2 | EE | Wan Fokkink,
Jasper Kamperman,
Pum Walters:
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems.
ACM Trans. Program. Lang. Syst. 20(3): 679-706 (1998) |
1996 |
1 | | Pieter H. Hartel,
Marc Feeley,
Martin Alt,
Lennart Augustsson,
Peter Baumann,
Marcel Beemster,
Emmanuel Chailloux,
Christine H. Flood,
Wolfgang Grieskamp,
John H. G. van Groningen,
Kevin Hammond,
Bogumil Hausman,
Melody Y. Ivory,
Richard E. Jones,
Jasper Kamperman,
Peter Lee,
Xavier Leroy,
Rafael Dueire Lins,
Sandra Loosemore,
Niklas Röjemo,
Manuel Serrano,
Jean-Pierre Talpin,
Jon Thackray,
Stephen Thomas,
Pum Walters,
Pierre Weis,
Peter Wentworth:
Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program. 6(4): 621-655 (1996) |