Partial Type Signatures for Haskell.

Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers

Browse the full PADL paper archive.