[Caml-list] Submission Deadline Extended: Sixth International Conference on Remote Engineering and Virtual Instrumentation (REV 2009)

2009-04-22 Thread REV 2009
Dear Colleagues, If you received this email in error, please forward it to the appropriate department at your institution. If you wish to unsubscribe please follow the unsubscribe link at bottom of the email. Please do not reply to this message. If you need to contact us please email us at i...

Re: [Caml-list] quasiquoting: 3 parsers for camlp4 vs 1 for haskell?

2009-04-22 Thread Geoffrey Mainland
On Thu, Apr 23, 2009 at 12:19:09AM +0100, Jon Harrop wrote: > On Friday 17 April 2009 19:24:31 Joel Reymont wrote: > > From the quasiquoting paper by Geoffrey Mainland [1], page 7: > > > > "The major advantage of our approach over that of camlp4 > > is that we demonstrate how to use generic progra

[Caml-list] [ANN] Diamondback Ruby - Program Analysis for Ruby

2009-04-22 Thread Michael Furr
I am pleased to announce that the first public release of the Diamondback Ruby static type inference system is now available! http://www.cs.umd.edu/projects/PL/druby/ The Diamondback Ruby (DRuby) project aims add a typing discipline to Ruby that is simple for programmers to use, flex

Re: [Caml-list] quasiquoting: 3 parsers for camlp4 vs 1 for haskell?

2009-04-22 Thread Jon Harrop
On Friday 17 April 2009 19:24:31 Joel Reymont wrote: > From the quasiquoting paper by Geoffrey Mainland [1], page 7: > > "The major advantage of our approach over that of camlp4 > is that we demonstrate how to use generic programming > to reuse a single parser to parse quasiquoted patterns, > quas

[Caml-list] FroCoS'09 Final Call for Papers

2009-04-22 Thread Roberto Sebastiani
- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE - !

[Caml-list] ANN: ocamljs 0.2 + orpc 0.2 + froc 0.1

2009-04-22 Thread Jake Donham
Hi, I am happy to announce the release of three related projects: ocamljs 0.2: Javascript backend for ocamlc + libraries for web programming orpc 0.2: generates RPC bindings from OCaml signatures (ONC RPC with Ocamlnet or HTTP with ocamljs) froc 0.1: library for functional reactive programm

[Caml-list] FroCoS'09 Final Call for Papers

2009-04-22 Thread Roberto Sebastiani
- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE - !

[Caml-list] TYPES annual workshop in Aussois, France.

2009-04-22 Thread Pierre Hyvernat
Dear list members, The Types 2009 meeting will be held in Aussois, at the "centre Paul Langevin" managed by the CNRS. This centre will supply everything: conference room, accommodation, meals, etc. It should provide very good conditions for profitable work. Early registration is now closed, but

[Caml-list] [ANN] enhtop for OCaml 3.11 and camlish v0.03

2009-04-22 Thread Zheng Li
Hello, I'd like to inform you the updates of two projects: Enhtop for OCaml 3.11 = This is a patch contributed by Peng Zang (thanks!) bringing enhtop [1] up to date with OCaml 3.11. There is an additional "#tellall" primitive from Peng's enhtop+ [2] doing partial matchi

[Caml-list] Re: hydro: is server-to-server call possible?

2009-04-22 Thread Gerd Stolpmann
Am Donnerstag, den 09.04.2009, 14:42 +0400 schrieb Vsevolod Fedorov: > Hello! > > I use Hydro implementation of the Ice protocol and stumbled upon the > following problem: > I need one server to make calls to another one. But I can not make a > synchronous call because I am already inside the eve