Abstract
My talk will celebrate Robin Milner's contribution to functional programming via a combination of reminiscences about the early days of ML and speculations about its future.
Index Terms
ML: metalanguage or object language?
Recommendations
ML: metalanguage or object language?
ICFP '10: Proceedings of the 15th ACM SIGPLAN international conference on Functional programmingMy talk will celebrate Robin Milner's contribution to functional programming via a combination of reminiscences about the early days of ML and speculations about its future.
PADS/ML: a functional data description language
POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesMassive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily available. In this paper, we explain the design and implementation of PADS/ML , ...
An Unboxed Operational Semantics for ML Polymorphism
We present an unboxed operational semantics for an ML-style polymorphic language. Different from the conventional formalisms, the proposed semantics accounts for actual representations of run-time objects of various types, and supports a refined notion of ...







Comments