Typing Haskell in Haskell. Meijer, Erik (ed (1999)

by Mark Jones
Venue:Proceedings of the
Add To MetaCart
Results 1 - 2 of 2

Practical type inference for arbitrary-rank types

by Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - Journal of Functional Programming , 2005
"... Note: This document accompanies the paper “Practical type inference for arbitrary-rank types ” [6]. Prior reading of the main paper is required. 1 Contents ..."
Abstract - Cited by 78 (18 self) - Add to MetaCart
Note: This document accompanies the paper “Practical type inference for arbitrary-rank types ” [6]. Prior reading of the main paper is required. 1 Contents

Practical type inference for

by Simon Peyton, Jones Dimitrios Vytiniotis, Stephanie C. Weirich, Mark Shields, Simon Peyton Jones, Stephanie Weirich, Mark Shields
"... arbitrary-rank types ..."
Abstract - Add to MetaCart
arbitrary-rank types