The system F of variable types, fifteen years later

Theoretical Computer Science · 1986 · 356 citations · 0 references