Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2007
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2007

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

Search the Archive

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


  • 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)