Citation: Ss. Pinter et Ry. Pinter, PROGRAM OPTIMIZATION AND PARALLELIZATION USING IDIOMS, ACM transactions on programming languages and systems, 16(3), 1994, pp. 305-327
Citation: J. Katzenelson et al., TYPE MATCHING, TYPE-GRAPHS, AND THE SCHANUEL CONJECTURE, ACM transactions on programming languages and systems, 14(4), 1992, pp. 574-588