Submissions from ucsd-progsys.github.io

		Dependent Types now almost batteries-included in GHC Haskell (ucsd-progsys.github.io)
		6 points by ghostwriter on Aug 26, 2020 \| past
		LiquidHaskell Is a GHC Plugin (ucsd-progsys.github.io)
		4 points by Tehnix on Aug 25, 2020 \| past \| 1 comment
		Polymorphic Perplexion (ucsd-progsys.github.io)
		3 points by lelf on April 25, 2020 \| past
		Polymorphic Perplexion (ucsd-progsys.github.io)
		2 points by matt_d on April 15, 2020 \| past
		Liquid Types vs. Floyd-Hoare Logic (ucsd-progsys.github.io)
		1 point by antisemiotic on Oct 21, 2019 \| past
		Liquid Types vs. Floyd-Hoare Logic (ucsd-progsys.github.io)
		7 points by matt_d on Oct 19, 2019 \| past
		Programming with Refinement Types: An Introduction to LiquidHaskell (ucsd-progsys.github.io)
		1 point by Cieplak on July 17, 2019 \| past
		LiquidHaskell (ucsd-progsys.github.io)
		3 points by Cieplak on Jan 7, 2018 \| past