Static and dynamic type systems
| 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 | |
|---|---|---|---|---|
| 2004_Rushton_release.pdf | ** Archive Staff Only ** | 89.51Kb | application/pdf | |
| 2004RushtonM.pdf | Thesis | 194.8Kb | application/pdf | |
Citation
"Static and dynamic type systems".
2004. Available electronically from
http://hdl.handle.net/10066/624.