OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Lambda calculus"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Lambda calculus"

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


Browse

Deposit Materials

Statistics