Polytypic Values Possess Polykinded Types (2000)

by Ralf Hinze
Citations:107 - 20 self