Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms (1997)

by Peter Selinger
Citations:3 - 0 self