Standard ML Type Generativity as Existential Quantification (1996)

by Claudio V. Russo
Citations:2 - 1 self