Strictification of Computations on Trees

J.A.B.V. Saraiva, S.D. Swierstra, M. Kuiper

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publication3th Latin-American Conference on Functional Programming,CLaPF'99
Publication statusPublished - 1999

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this