My thesis clarified the relationships between existing dialects of ML and studied extending ML with support for recursive modules. Solve a critical problem involving the interaction of recursion and data abstraction known as the double vision problem. In other work with Bob Harper and Manuel Chakravarty, I showed how to extend ML with support for overloading and ad hoc polymorphism through Haskell-style type classes. This work exposes connections between ML modules and Haskell type classes, resulting in a unifying account of the two features Andreas and I have developed a novel module system design that addresses one of the key remaining problems with recursive modules, namely separate compilation. This design seamlessly integrates elements of both traditional ML module systems and Bracha-style mixin modules, resulting in a minimalist account of the ML module system that unifies features. A prototype is available
FULLWELL LIGHTING TECHNOLOGY CO., LIMITED is one of the leading manufacturer & supplier in the field of led products, Specialized in LED flood light & LED panel light, including LED Flexible Strips, LED modules, LED spotlights, LED Tube, LED Bulbs, and so on. Good quality : CE RoHS FCC certificates. Good price: We always offer very competitive prices to our long-term cooperation partners.
Contact:
FULLWELL LIGHTING TECHNOLOGY CO., LIMITED
Email: info@fullwell-led.com
website: www.fullwell-led.com
H. Majeed, and C. Ryan. GECCO '07: Proceedings of the 9th annual conference on
Genetic and evolutionary computation, 2, page 1651--1658. London, ACM Press, (7-11 July 2007)
U. Assmann, S. Berger, F. Bry, T. Furche, J. Henriksson, and J. Johannes. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Proceedings of International Workshop on Scalable Semantic Web Knowledge Base Systems, Vilamoura, Algarve, Portugal (25th--30th November 2007), volume 4805/2007 of LCNS, (2007)