Skip to content

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.

Ferruccio Damiani

Year2000
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.