Institutional Scholarship

Static and dynamic type systems

TriCollege Digital Repository

Title: Static and dynamic type systems
Author: Rushton, Matthew V.
Advisor: Wonnacott, David G.
Department: Haverford College. Dept. of Computer Science
Type: Thesis (B.S.)
Running Time: 194857 bytes64699 bytes
Issue Date: 2004
Abstract: 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 to investigate the Hindley-Milner type inference algorithm to which an original extension is made
Subject: Type theory
Subject: ML (Computer program language)
Subject: Programming languages (Electronic computers)
Access Restrictions: Open Access
Terms of Use:
Permanent URL:

Files in this item

Files Description Size Format
2004RushtonM.pdf Thesis 190.2Kb PDF
2004_Rushton_release.pdf ** Archive Staff Only ** 87.41Kb PDF


Rushton, Matthew V.. "Static and dynamic type systems". 2004. Available electronically from

This item appears in the following Collection(s) Except where otherwise noted, this item's license is described as


Advanced Search


My Account