52

Proving and applying program transformations expressed with second-order patterns

Year:
1978
Language:
english
File:
PDF, 1.15 MB
english, 1978
85

The femoral 3-in-1 block revisited

Year:
1993
Language:
english
File:
PDF, 587 KB
english, 1993
100

Book review

Year:
1987
Language:
english
File:
PDF, 244 KB
english, 1987