A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli. A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. In Implementations of Prolog. pages 309-326, 1984.

Authors

Marco Bellia

This author has not been identified. Look up 'Marco Bellia' in Google

Enrico Dameri

This author has not been identified. Look up 'Enrico Dameri' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Giorgio Levi

This author has not been identified. Look up 'Giorgio Levi' in Google

Maurizio Martelli

This author has not been identified. Look up 'Maurizio Martelli' in Google