kb.pub

Implementations - Musharof Chy

عرض 1 - 7 من 7 الشركات

MLton

Whole program optimizing compiler for Standard ML.

383 مشاهدات
٢٥ يناير ٢٠٢٥

Open Source Release of MLj

SML to Java bytecode compiler, based on Persimmon's MLj.

487 مشاهدات
٢٥ يناير ٢٠٢٥

Poly/ML

Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. ...

40 مشاهدات
٢٥ يناير ٢٠٢٥

Standard ML of New Jersey

SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documen...

121 مشاهدات
٢٥ يناير ٢٠٢٥

Dependent ML: DML

Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to...

289 مشاهدات
٢٥ يناير ٢٠٢٥

TILT

TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) tha...

697 مشاهدات
٢٥ يناير ٢٠٢٥

Extended ML

EML is a framework for specification and formal development of Standard ML programs. Description, p...

587 مشاهدات
٢٥ يناير ٢٠٢٥