Higher-order modules and the phase distinction. Pages 341–354 of: 17th symposium Principles of Programming Languages (1990)

by Robert Harper, John C Mitchell, Eugenio Moggi