Institutional Scholarship

Browsing by Subject "Type theory"

Browsing by Subject "Type theory"

Sort by: Order: Results:

  • Rushton, Matthew V. (2004)
    This paper demonstrates the advantages and disadvantages of static and dynamic type systems. This is done through careful exposition of various implementations. As a motivating example, a subset of the ML language is used ...



My Account