DSpace Repository

Browsing Technical Reports by Author "Jeremy, WAZNY"

Browsing Technical Reports by Author "Jeremy, WAZNY"

Sort by: Order: Results:

  • Peter.J, STUCKEY; Martin, SULZMANN; Jeremy, WAZNY (2005-02-16)
    We consider type inference in the Hindley/Milner system extended with type annotations and constraints with a particular focus on Haskell-style type classes. We observe that standard inference algorithms are incomplete in ...

Search DSpace


Browse

My Account