Researcher profile
Paul Downen
1 paper in the PaperMetrix corpus
Publications
Papers by this author
-
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 …