
Index Terms
An upside down PH.D. program
Recommendations
Upside down
EVA '17: Proceedings of the conference on Electronic Visualisation and the ArtsUpside Down is an interactive sound installation that uses live gyroscope rotation data to rotate an audio environment. There is a binaural spatial sound environment developed from the sensation of being above water that once rotated on its axis is ...
Proofs, Upside Down
Proceedings of the 11th Asian Symposium on Programming Languages and Systems - Volume 8301It is well known in proof theory that sequent-calculus proofs differ from natural deduction proofs by "reversing" elimination rules upside down into left introduction rules. It is also well known that to each recursive, functional program corresponds an ...
The Gordian knot program: a short note on un-teaching "go to"
A simple device is presented for impressing students with the perils of unbridled "go to" statements. Whether or not one believes in go-to-less programming, it is clear to experienced programmers that unrestrained use of a go to statement leads to ...






Comments