J. F. Th. Kamperman

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

H. R. Walters, J. F. Th. Kamperman
EPIC: An Equational Language -Abstract Machine Supporting Tools-. RTA (1996)
J. F. Th. Kamperman, H. R. Walters
Minimal Term Rewriting Systems. COMPASS/ADT (1995)
H. R. Walters, J. F. Th. Kamperman
A Model for I/O in Equational Languages with Don't Care Non-determinism. COMPASS/ADT (1995)
J. F. Th. Kamperman, H. R. Walters
Lazy Rewriting and Eager Machinery. RTA (1995)