a novel representation of lists and its application to the function

1 downloads 0 Views 1MB Size Report
Mar 3, 1986 - A representation of lists as first-class functions is proposed. ... This law can be used to prove the correctness of .... In such cases. Our 'functional ...

Suggest Documents