Extended static checking for Haskell (2006)

by Dana N Xu
Venue:In Proc. Haskell ’06