@inproceedings{SSK99, author = {Jo{\~a}o Saraiva and Doaitse Swierstra and Matthijs Kuiper} , title = {{S}trictification of {C}omputations on {T}rees}, booktitle = {Third Latin-American Conference on Functional Programming - CLAPF'99 - IFIP 2.8 working group, Recife, Brazil} , year = {1999}, month = {March} , editor = {Rafael Linz}, }