Static Contract Checking for Haskell Dana N. Xu University of Cambridge Ph.D. Supervisor: Simon Peyton Jones Microsoft Research Cambridge.
The soft determinist response. the incompatibility argument 1)Determinism is true. 2)If Determinism is true, then none of our actions are free. 3)None.
Correctness of parallel programs
the soft determinist response
the libertarian response