ATyped Pattern Calculus
Program-Transformation.Org: The Program Transformation Wiki
A Typed Pattern Calculus
by Val Breazu-Tannen, Delia Kesner and
LaurencePuel
Published in
- Information and Computation, 124(1):32-61, January 1996.
- Proceedings of the Eigth Annual IEEE Symposium on Logic in Computer Science, pages 262-274. IEEE Comp. Soc. Press, 1993.
- Technical Report 878, Laboratoire de Recherche en Informatique, Univ. Paris-Sud, France, 1993.
See also
Reviews