A Typed Pattern Calculus
Authors:
- Delia KesnerDKDelia Kesner
- Laurence PuelLPLaurence Puel
- Val TannenVTVal Tannen
Open Access
- 1 January 1996
- journal article
- Published by Elsevier in Information and Computation
- Vol. 124 (1) , 32-61