[Caml-list] POPL 2010 - Call for Participation - Early Registration Dec 22

2009-12-18 Thread popl10-announce
* *ACM SIGPLAN-SIGACT Symposium * * on* *Principles of Programming Languages* *

[Caml-list] CfP - 4th ACM International Conference on Distributed Event-Based Systems (DEBS)

2009-12-18 Thread Leonardo Querzoni
(Apologize if you receive multiple copies of this message) --    Call for Contributions - DEBS 2010 == 4th ACM International Conference

[Caml-list] Merry Christmas!

2009-12-18 Thread Anagram
Dear readers, First and foremost we write to thank you for your continuing support and to wish you a healthy, happy and prosperous new year. 2009 year has seen considerable change at Anagram, with the arrival of a few new faces and a whole new look. Christmas elves have been hard at work on

Re: [Caml-list] compiling OCaml program for supercomputer running SGI Propack 6?

2009-12-18 Thread Damien Doligez
Hi, On 2009-12-17, at 19:28, Dave Lewis wrote: [Apologies for duplication across mailing lists.] Hi - I'd like to run this OCaml program: [...] on the 3TB memory supercomputer described here http://www.ncsa.illinois.edu/UserInfo/Resources/Hardware/SGIAltix/Tec ... It appears that the

Re: [Caml-list] compiling OCaml program for supercomputer running SGI Propack 6?

2009-12-18 Thread ds . caml
On 2009/12/17 19:28, Dave Lewis wrote: Exec format error. Binary file not executable. Seen that before: looks like you're trying to run an x86_64 binary on an Itanium machine. You would have to build O'Caml on that machine and compile your code there. Last time I tried O'Caml on Itan

[Caml-list] DisCoTec 2010: Call for Papers

2009-12-18 Thread Gianluigi Zavattaro
[We apologize for multiple copies] Call for Papers DisCoTec 2010 5th International Federated Conferences on Distributed Computing Technique

Re: [Caml-list] Module abbreviation

2009-12-18 Thread Romain Bardou
Basile STARYNKEVITCH wrote: > Romain Bardou wrote: >> Basile STARYNKEVITCH wrote: >>> Romain Bardou wrote: Hello, dear Caml-list, I have a file ast.mli. It has no .ml implementation as it contains only type definitions. >>> >>> Then you should name that file ast.ml. Last time I