Re: Type-checking with polymorphism & overloading

Perhaps Alcool-90 has some information you could use?


From http://pauillac.inria.fr/~rouaix/papers/AlcoolExperiment/plan.html


        The Alcool-90 Experiment
        Francois Rouaix
        INRIA Rocquencourt


Abstract:
        Alcool--90 is an experimental extension of ML with run-time
        overloading. Overloading is used as a tool for supporting abstract
        data types in an integrated manner. The experiment showed how notions
        similar to modules and functors based on abstract data types are
        easily defined when overloading is considered as polymorphism. We also
        propose an innovative environment where we exploit ambiguities due to
        overloading as a starting point for semi-automated program
        configuration.


Francois Rouaix's home page has more information:
        http://pauillac.inria.fr/~rouaix/
--
T. Kurt Bond, tkb@access.mountain.net
--

Return to the comp.compilers page.
Search the comp.compilers archives again.