Skip to content

Full Abstraction for First-Order Objects with Recursive Types and Subtyping.

Ramesh Viswanathan

VenueA*LICS
Year1998
ProceedingsLICS

Browse the full LICS paper archive.