[Announce] SML/E v1.0: Type Explainer for Standard ML

This is to announce the availability of version 1.0 of
the SML/E type explainer. From the SML/E User Manual:


    Standard ML is a research and teaching programming language. One of its
    major innovations is its provision for type inference, allowing the
    programmer to omit type information from programs and allowing the type
    checker to infer this missing type information. Type inference is also
    seeing application in reverse engineering of legacy C and COBOL code.


    Standard ML of New Jersey (SML/NJ) is a popular implementation of SML/NJ,
    developed jointly by Lucent Bell Labs and Princeton University.


    SML/E is a modification of the SML/NJ compiler to help the programmer
    to diagnose the reasons that certain types where inferred. It essentially
    opens up the "black box" of type inference to the programmer, with the
    intention of helping to diagnose type errors.


SML/E Home Page:


    http://guinness.cs.stevens-tech.edu/~dduggan/Public/Smle/

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