A Typed Pattern Calculus (1996)

by Delia Kesner, Laurence Puel, Val Tannen
Venue:ACM Trans. Program. Lang. Syst