Monthly Archives: May 2012

Armchair philosophy

I was reading recently a fun paper by Wesley Phoa, Should computer scientists read Derrida? [pdf]. I was attracted by what seemed to me a preposterous title, being quite sure the paper is a parody. Instead, I found myself confronted with a … Continue reading

Posted in game semantics, system level semantics | 11 Comments

Verity now with call-by-value

Call-by-name is generally seen as an annoyance by programmers. Fortunately, if your programming language has mutable state you can force evaluation at ground type by using assignment, so by writing new v in v := x; f(!v) you achieve the … Continue reading

Posted in Geometry of Synthesis | Leave a comment

Back to the future

The programming language ALGOL was “a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly all its successors,” at least according to C.A.R. Hoare. Few programming languages have been … Continue reading

Posted in Geometry of Synthesis | 2 Comments