Re: Type-checking with polymorphism & overloading

tkb@access.mountain.net (T. Kurt Bond)
11 Jun 1998 16:10:32 -0400

          From comp.compilers

Related articles
Type-checking with polymorphism & overloading hat@se-46.wpa.wtb.tue.nl (1998-06-09)
Re: Type-checking with polymorphism & overloading tkb@access.mountain.net (1998-06-11)
Re: Type-checking with polymorphism & overloading stephenb@harlequin.co.uk (Stephen J Bevan) (1998-06-11)
Re: Type-checking with polymorphism & overloading ast@halcyon.com (1998-06-11)
Re: Type-checking with polymorphism & overloading jsm@it.dtu.dk (Jørgen Steensgaard) (1998-06-11)
Re: Type-checking with polymorphism & overloading ceebds@cee.hw.ac.uk (Ben Speight) (1998-06-11)
Re: Type-checking with polymorphism & overloading fjh@cs.mu.OZ.AU (1998-06-18)
Re: Type-checking with polymorphism & overloading hat@se-46.wpa.wtb.tue.nl (1998-06-24)
| List of all articles for this month |

From: tkb@access.mountain.net (T. Kurt Bond)
Newsgroups: comp.compilers
Date: 11 Jun 1998 16:10:32 -0400
Organization: Compilers Central
References: 98-06-041
Keywords: types

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
--


Post a followup to this message

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