Paul Downen

Compiling With Classical Connectives

2020 · Logical Methods in Computer Science

The study of polarity in computation has revealed that an "ideal" programming language combines both call-by-value and call-by-name evaluation; the two calling conventions are each ideal for half the types in a programming language. But …