Tempo Specializer - SML Environment

• Use of SML in Tempo
• Documentation

The Tempo Specializer is mainly built in Standard ML (SML). The user interacts with the Tempo Specializer system through an interactive top level that encapsulates all functionalities. In practice, the user does not need to know about SML (see SML Top Level in the User's Manual).

Tempo currently relies on version 0.93 of SML New Jersey (with SML/NJ library, version 0.2). This is quite an old version, that in particular performs very badly on PCs. We plan to port it on the new version 110, offering thus not only better performances but also support for Windows users.

• An introduction to Standard ML by Bob Harper
• Release notes of version 0.93
• User's guide
• Base environment
• System modules
• SML/NJ Library (Version 0.2)
• Various tools:

  CML, Debugger, eXene, Info, makeml, ML-Lex, ML-Yacc, ML-Twig, Profile, SourceGroup

• Index

Other valuable SML information can be obtained form the SML/NJ web site.

• Users' mailing list: tempo-talk@irisa.fr
• Developers and maintainers: tempo@irisa.fr
• Compose project home page: http://compose.labri.fr
• Tempo Specializer home page: tempo