2585
Smlnj Description:
Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language. Standard ML is a safe, modular, strict, functional, polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types and updatable references, abstract data types, and parametric modules. It has efficient implementations and a formal definition with a proof of soundness.
Smlnj: Standard ML of New Jersey (SML/NJ)
Publisher: 133.186.1.15
|
Category: | Languages  |
|||||||||||||||||
| Publisher: | 133.186.1.15 More titles >> | ||||||||||||||||||
| Last Updated: | 6/10/2004 | ||||||||||||||||||
| Requirements: | Not specified | ||||||||||||||||||
| License: | Not Specified | ||||||||||||||||||
| Operating system: | Linux | ||||||||||||||||||
| Hits: | 200 | ||||||||||||||||||
| File size: | Not specified | ||||||||||||||||||
| Price: | Not specified | ||||||||||||||||||
Latest Arrivals
The C Preprocessor (Not Specified)
C++ support for gcc (Not Specified)
GUI interface for Python (Not Specified)
Berkeley Logo interpreter (Not Specified)
Library of GCC support routines (Not Specified)
MIPS assembly simulator (Not Specified)
Version control system (Not Specified)
CYGWIN32 cross-compiler to Win32 (Not Specified)
Fortran 77 support for gcc (Not Specified)
Libraries and header files for building python code (Not Specified)
C++ motif and sockets libraries (Not Specified)
Show C call structure (Not Specified)
