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

OpenBU

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

Sort by: Order: Results:

  • Bestavros, Azer; Bradley, Adam D.; Kfoury, Assaf J.; Matta, Ibrahim (Boston University Computer Science Department, 2004-05-14)
    The Science of Network Service Composition has clearly emerged as one of the grand themes driving many of our research questions in the networking field today [NeXtworking 2003]. This driving force stems from the rise of ...
  • 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