A Typed Pattern Calculus (1996)

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

Document Versions

A Typed Pattern Calculus –Delia Kesner, Laurence Puel, Val Tannen — 1996 — ACM Trans. Program. Lang. Syst
Pure Pattern Calculus –C. Barry Jay, Delia Kesner — 2005 — ACM Trans. Program. Lang. Syst
A Typed Pattern Calculus –Barry Jay, Delia Kesner — 1993 — ACM Trans. Program. Lang. Syst
A Typed Pattern Calculus –C. Barry Jay — 1993 — ACM Trans. Program. Lang. Syst
The Pattern Calculus –C. Barry Jay — 2003 — ACM Trans. Program. Lang. Syst