A Typed Pattern Calculus (1996)

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