A Typed Pattern Calculus

Delia Kesner, Laurence Puel, Val Tannen. A Typed Pattern Calculus. Inf. Comput., 124(1):32-61, 1996.

Authors

Delia Kesner

This author has not been identified. Look up 'Delia Kesner' in Google

Laurence Puel

This author has not been identified. Look up 'Laurence Puel' in Google

Val Tannen

This author has not been identified. Look up 'Val Tannen' in Google