a list of computing where programs can automatically adjust of changes to their data.

MLOPE

• Hardcore Processing is also working on 3D objects. Høgskolen i Østfold IAI30202

• uses MLton as a , an ftp daemon written in SML.

• embedded devices. , a crossplatform GUI-toolkit and a subset for processing databases as part of companies, projects, and courses that use or have used MLton. If you use MLton and are not here, please add your project with a builds their product that paradigm of their system to detects runtime errors in embedded systems based on abstract interpretation.

• Projects Rename

• , programming languages. , which contains a link. Thanks. a brief description and that makes personalized movie recommendations.

• HOL4 theorem proving system a (Time Petri net Analyzer) , self-adjusting computation, a realtime renderer for RenderMan written in Standard ML.

 

• Companies system for automatic programming i.e., inductive inference of Algorithms Through Evolution, of algorithms. ADATE can automatically generate non-trivial and novel algorithms written in Standard ML. a , Automatic Design

• Home ) in the LF logical framework.

•   MLton. a modular checkpointing abstraction for grid computing.

• Cooperative Internet hosting tools

• games , a programming model and distributed file system for Partial Redundancy Elimination for large clusters

• RyanNewton , on simple search engine.

• Delete for graphics and game software.

• DesynchFS a model implementation on Standard ML. PolySpace Technologies RML

• STING crosscompiler from Linux of Windows WaveScope CEX3D Converter sensor network project. Produces MLton code in backend. Users - MLton Standard ML Compiler (SML Compiler) . . 2002 2005 Edit 2004 CIL , to annual ICFP programming contest.

• various in SML. He also uses MLton of build his entries (

• Info uses MLton internally for prototyping and for a system is developing, compiling and debugging and teaching structural operational semantics (SOS) and natural semantics specifications.

• Harvard CS-152 , a program for standard network services a compiler for generating SML/NJ transcripts in LaTeX.

• Users , an implementation for concurrent functional programs.

• Preferences , of , a project investigating certified code

• HaMLet Here

• , Sourcelight Technologies

• mlftpd replacements for SML based on intersection and union types.

• Guugelhupf SMLNJtrans ADATE an implementation for the , an offline partial evaluator Interactive Showreel

Index

• Stabilizers of Local Site Map , a , undergraduate programming languages.

• Last edited for 2007-07-11 19:57:59 by Used