A Typed Pattern Calculus (1996)

by Delia Kesner , Laurence Puel , Val Tannen
Venue:ACM Trans. Program. Lang. Syst
Citations:72 - 18 self