UNIVERSITY OF CALIFORNIA, SAN DIEGO Liquid Haskell: Haskell as a Theorem Prover A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy

First Page		Document Content
Date: 2016-12-06 11:13:42		UNIVERSITY OF CALIFORNIA, SAN DIEGO Liquid Haskell: Haskell as a Theorem Prover A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy Add to Reading List Source URL: goto.ucsd.edu Download Document from Source Website File Size: 959,86 KB Share Document on Facebook