Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell∗ MARK P. JONES - Functional programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell∗ MARK P. JONES Add to Reading List Document Date: 2005-10-01 03:15:10 Open Document File Size: 292,15 KB Share Result on Facebook

Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell∗ MARK P. JONESAdd to Reading List