Typing Haskell in Haskell MARK P. JONES Pacific Software Research Center Department of Computer Science and Engineering Oregon Graduate Institute of Science and Technology
