Mathematica and ML (Functional Programming Language)
- To: mathgroup at smc.vnet.net
- Subject: [mg72877] Mathematica and ML (Functional Programming Language)
- From: clefort <ipub at charter.net>
- Date: Tue, 23 Jan 2007 05:42:33 -0500 (EST)
Hello,
I'm interested to know if anyone has knowledge of Matlink code
for c function calls which would allow ML (Poly ML or SML:NJ) to be
used as a developmental language in conjunction with MathLink
Mathematica. If not I'll have to start form scratch; otherwise, I can
use some examples. I didn't see any specific examples in the
Documentation for ML, hence the reason for the question. Poly
ML ,written by and used by David Matthews at CCL, has documentation
for calling C functions in ML. THis is a specific Mathematica/
MathLink question.
This has to do with ATP ( or Automated Theorem prover called Isabelle
developed at Cambridge Computer Laboratories (CCL) by Larry Paulson,
built on HOL (High Order Logic).
Thank you in advance,
Clinton R. LeFort