triceratops

Browsing Computer Science by Subject "Type theory"

TriCollege Digital Repository

Browsing Computer Science 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 ...

Search


Advanced Search

Browse

My Account