Procedure Referencing Environments in SL5.

Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes

Browse the full POPL paper archive.