Transforming Lazy Functions Using Comportment Properties

Ross Paterson. Transforming Lazy Functions Using Comportment Properties. In Hugh Glaser, Pieter H. Hartel, Herbert Kuchen, editors, Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Volume 1292 of Lecture Notes in Computer Science, pages 111-125, Springer, 1997.

Abstract

Abstract is missing.