S.: What is a recursive module (1999)

by K Crary, R Harper, Puri
Venue:In: Proc. ACM Conference on Programming Language Design and Implementation