Postponing Redex Contractions in Equational Programs

Nadia Nedjah. Postponing Redex Contractions in Equational Programs. In Fuji International Symposium on Functional and Logic Programming. pages 40-60, 1998.

Abstract

Abstract is missing.