Laurence Puel
Delia Kesner, Laurence Puel, and Val Tannen.
A typed pattern calculus.
Information and Computation
, 124(1):32-61, 10 January 1996.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database