Inline Expansion of SETL Procedures". Sigplan Not (0)

by Kio C Hyun, Ernst-Erich Doberkat