Adding BigTypes to ML (1996) [3 citations — 1 self]
by Bruce J. Mcadam
In International Conference on Functional Programming. Association of Computing Machinery
http://www.dcs.ed.ac.uk/home/bjm/BigTypes/tech.ps
Add To MetaCart
Abstract:
In "Designing for Proof " ([4]), Stephen Gilmore suggests the concepts of Wide and Deep types for presenting additional type information to the users of strongly polymorphicly typed languages such a standard-ML [6]. Presented here is an extension to the standard typederivation algorithm which collects this additional information and a description of an implementation of this for the ML core language.
Citations
| 1463 | The Definition of Standard ML – Milner, Tofte, et al. - 1990 |
| 256 | Principal type-schemes for functional programs – Damas, Milner - 1982 |
| 52 | Explaining type inference – Duggan, Bent - 1996 |
| 3 | Miscellaneous design issues in the ML kit – Rothwell - 1992 |
| 2 | Designing for proof – Gilmore |
| 1 | Improving type-checkers. http://www.dcs.ed.ac.uk/home/bjm/summer96/non tech.ps – McAdam - 1996 |
