Re: Re al World Example

The reference implementation of the next(?) version of ECMAScript  
(Javascript)
is being developed in Standard ML (SML/NJ specifically)  by Dave Herman.
There are several large proof assistants (interactive theorem  
provers) implemented
in Standard ML, including Isabelle (Larry Paulson at Cambridge) and  
TWELF
(Frank Pfenning at CMU).  Other large systems include tools for  
static analysis
of programs (including an "industrial" one developed by Nevin Heintze  
and Olivier
Tardeau for type analysis of large C programs at Bell Labs some years  
ago).
Other large systems have been written in the French dialect of ML,  
OCaml,
including the Coq theorem prover.

Dave MacQueen


On Oct 20, 2007, at 8:01 PM, bretterson wrote:

>
> I'm trying to find a real world example of something programmed in  
> ML, but
> it's kind of hard.  Part of the problem is that ML and SML both have
> multiple meanings.  The only sites I've been able to find that even  
> mention
> the ML I'm looking for give very basic tutorials.  The example  
> doesn't have
> to be anything huge it just has to be of something being used in  
> the real
> world.  Does anyone know of any web sites that give examples like  
> this.
>
> Thanks,
>
> Brett Bretterson
> -- 
> View this message in context: http://www.nabble.com/Real-World- 
> Example-tf4664551.html#a13324951
> Sent from the SML/NJ mailing list archive at Nabble.com.
>
>
> ---------------------------------------------------------------------- 
> ---
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems?  Stop.
> Now Search log events and configuration files using AJAX and a  
> browser.
> Download your FREE copy of Splunk now >> http://get.splunk.com/
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/