Browsing by Author "Oliart, Alberto"

OpenBU

Browsing by Author "Oliart, Alberto"

Sort by: Order: Results:

  • An Algorithm for Inferring Quasi-Static Types
    Oliart, Alberto (Boston University Computer Science Department, 1994-12-14)
    This report presents an algorithm, and its implementation, for doing type inference in the context of Quasi-Static Typing (QST) ["Quasy-static Typing." Satish Thatte Proc. ACM Symp. on Principles of Programming Languages, ...