Type-safe session (1997)

by N Pryce
Venue:In EuroPLOP Proceedings