Report - A Sound and Complete Logic for Algebraic Effectsusers.ox.ac.uk/~scro3229/documents/birmingham-talk.pdf · Program equivalence Establisheswhentwoprogramshave thesamebehaviour.! Higher-orderfunctionsmakeithard.

Please pass captcha verification before submit form