| dc.contributor.advisor |
Wonnacott, David G. |
en_US |
| dc.contributor.author |
Rushton, Matthew V. |
en_US |
| dc.date.accessioned |
2007-02-28T20:24:00Z |
|
| dc.date.available |
2007-02-28T20:24:00Z |
|
| dc.date.issued |
2004 |
en_US |
| dc.identifier.uri |
http://hdl.handle.net/10066/624 |
|
| dc.description.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 |
en_US |
| dc.description.provenance |
Made available in DSpace on 2007-02-28T20:24:00Z (GMT). No. of bitstreams: 2
2004RushtonM.pdf.txt: 64699 bytes, checksum: b917d6640450adc057659fb5b7a41dfa (MD5)
2004RushtonM.pdf: 194857 bytes, checksum: 7251eecb4bc821bad0fe1a6453e6099d (MD5)
Previous issue date: 2004 |
en |
| dc.description.sponsorship |
Haverford College. Dept. of Computer Science |
en_US |
| dc.format.extent |
194857 bytes |
en_US |
| dc.format.extent |
64699 bytes |
|
| dc.format.mimetype |
application/pdf |
en_US |
| dc.format.mimetype |
text/plain |
|
| dc.language.iso |
en_US |
en_US |
| dc.rights.uri |
http://creativecommons.org/licenses/by-nc/3.0/us/ |
|
| dc.subject.lcsh |
Type theory |
|
| dc.subject.lcsh |
ML (Computer program language) |
|
| dc.subject.lcsh |
Programming languages (Electronic computers) |
|
| dc.title |
Static and dynamic type systems |
en_US |
| dc.type |
Thesis (B.S.) |
en_US |