| [CDDK86] |
Dominique Clément, Joëlle Despeyroux, Thierry Despeyroux, and Gilles Kahn.
A simple applicative language: Mini-ML.
In Proceedings of the 1986 ACM Conference on Lisp and
Functional Programming, pages 13-27, 1986. [ bib | http ] |
| [CPN98] |
David G. Clarke, John M. Potter, and James Noble.
Ownership types for flexible alias protection.
In Proceedings of the 13th ACM SIGPLAN Conference on Object
Oriented Programming, Systems, Languages, and Applications, pages 48-64,
Vancouver, BC, Canada, October 1998. ACM Press, New York. [ bib | http ] |
| [DM82] |
Luis Damas and Robin Milner.
Principal type-schemes for functional programs.
In Proceedings of the 9th Annual ACM Symposium on Principles
of Programming Languages, pages 207-212, Albuquerque, New Mexico, USA,
1982. ACM Press. [ bib | http ] |
| [HVP00] |
Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce.
Regular expression types for XML.
In Philip Wadler, editor, Proceedings International Conference
on Functional Programming 2000, pages 11-22, Montreal, Canada, September
2000. ACM Press, New York. [ bib | http ] |
| [HVP04] |
Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce.
Regular expression types for XML.
ACM Transactions on Programming Languages and Systems, 27(1),
2004. [ bib | http ] |
| [Mil78] |
Robin Milner.
A theory of type polymorphism in programming.
Journal of Computer and System Sciences, 17:348-375, 1978. [ bib ] |
| [MWCG98] |
Greg Morrisett, David Walker, Karl Crary, and Neal Glew.
From system F to typed assembly language.
In Luca Cardelli, editor, Proceedings 25th Annual ACM
Symposium on Principles of Programming Languages, San Diego, CA, USA,
January 1998. ACM Press. [ bib | http ] |
| [MWCG99] |
Greg Morrisett, David Walker, Karl Crary, and Neal Glew.
From system F to typed assembly language.
ACM Transactions on Programming Languages and Systems,
21(3):527-568, 1999. [ bib | http ] |
| [Pie02] |
Benjamin C. Pierce.
Types and Programming Languages, chapter 21 Metatheory of
Recursive Types, pages 281 - 314.
MIT Press, 2002. [ bib ] |
| [Pie05a] |
Benjamin C. Pierce, editor.
Advanced Topics in Types and Programming Languages, chapter 2
Dependent Types, pages 45 - 86.
MIT Press, 2005. [ bib ] |
| [Pie05b] |
Benjamin C. Pierce, editor.
Advanced Topics in Types and Programming Languages, chapter 1
Substructural Type Systems, pages 3 - 44.
MIT Press, 2005. [ bib ] |
This file has been generated by bibtex2html 1.76