Polymorphism, Set Theory, and Call-by-Value

Edmund Robinson, Giuseppe Rosolini

Browse the full LICS paper archive.