Sheard, Tim "Automatic generation and use of abstract structure operators" ACM Transactions on Programming Languages and Systems, 13(4) pp531-557, October 1991

Languages mentioned

• TRPL {1990}