Static and dynamic type systems

TRICERATOPS

TriCollege Digital Repository

Static and dynamic type systems

View Dublin Core Metadata

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)
Terms of Use: http://creativecommons.org/licenses/by-nc/3.0/us/
Permanent URL: http://hdl.handle.net/10066/624

Files in this item

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

Citation

Rushton, Matthew V.. "Static and dynamic type systems". 2004. Available electronically from http://hdl.handle.net/10066/624.

This item appears in the following Collection(s)

View Dublin Core Metadata

http://creativecommons.org/licenses/by-nc/3.0/us/ Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc/3.0/us/