Skip to content

A Static Type System for Message Passing.

Giorgio Ghelli

VenueAOOPSLA
Year1991
ProceedingsOOPSLA

Browse the full OOPSLA paper archive.