Skip to content

A Typed Pattern Calculus

Val Tannen, Delia Kesner, Laurence Puel

VenueA*LICS
Year1993
ProceedingsLICS

Browse the full LICS paper archive.