MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

Mathematica and ML (Functional Programming Language)

  • To: mathgroup at
  • Subject: [mg72877] Mathematica and ML (Functional Programming Language)
  • From: clefort <ipub at>
  • Date: Tue, 23 Jan 2007 05:42:33 -0500 (EST)


      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

  • Prev by Date: Re: Newbie question - saving file in command-line
  • Next by Date: Re: pursuit curve (differential equations)
  • Previous by thread: re: Databaselink and MySQL
  • Next by thread: Re: Mathematica and ML (Functional Programming Language)