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 - GoTo - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2016-12-06 11:13:42 Open Document File Size: 959,86 KB Share Result on Facebook

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 PhilosophyAdd to Reading List