Browsing College of Arts and Sciences by Subject "Type inference"

OpenBU

Browsing College of Arts and Sciences by Subject "Type inference"

Sort by: Order: Results:

  • Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-03-06)
    We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we ...

Search OpenBU


Advanced Search

Browse

Deposit Materials