Dear Camlists,
Does anyone know of a description of the sharing mechanism inside
Ocaml's heap (I guess)? I'm interested in any kind material, from a
formal account in a paper (even not directly related to Caml), to an
informal description and tips of usage, anything that could fill in my
shameful
CALL FOR PARTICIPATION
PLACES'10
Programming Language Approaches to Concurrency
and communication-cEntric Software
21st March 2010, Paphos, Cyprus
Affiliated with ETAPS 2010
ht
Hello,
For the third time, I am proud to invite all OCaml enthusiasts to join
us at OCaml Meeting 2010 in Paris.
This year event takes place in Paris on Friday 16th April 2010.
Subscription is opened and will be closed on Friday 2nd April 2010.
Presentations include:
* Enforcing Type-Safe Linki
Hi...
Here are some comments for ML-like languages in general, not specific to OCaml.
On Wed, Mar 10, 2010 at 1:45 AM, Matthias Puech wrote:
> shameful ignorance on that matter. Particularly, I'm trying to understand:
> - where architecturally it takes place in the compiler,
It doesn't. The com
On Mar 10, 2010, at 2:01 AM, Sylvain Le Gall wrote:
>
> Hello,
>
> For the third time, I am proud to invite all OCaml enthusiasts to join
> us at OCaml Meeting 2010 in Paris.
>
> This year event takes place in Paris on Friday 16th April 2010.
> Subscription is opened and will be closed on Frida
Hi,
CCSS is a preprocessor for CSS (Cascading Style Sheets), extending the
language with arithmetic operations and variables. It was born out of
frustration with the unbearable slowness and lack of support for some
CSS3 constructs in other similar tools such as LESS [1]. Here are
some points to
On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote:
> - The register-based SSE2 model fits the OCaml back-end much better
> than the stack-based x87 model. In particular, "let"-bound intermediate
> results of type "float" can be kept in SSE2 registers, while in
> the current x87 mode they ar
On Mar 10, 2010, at 1:25 PM, Mike Lin wrote:
> On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote:
> Note that x86-64 bits systems as well as Mac OS X already use SSE2 as
> their default floating-point model.
>
> I have a bunch of biological sequence analysis stuff that could be
> interesting
Hello Dario,
> CCSS is a preprocessor for CSS (Cascading Style Sheets), extending the
> language with arithmetic operations and variables.
Yes, that's badly missing in CSS.
> - The arithmetic operations are unit-aware, and will complain if you
> try adding apples and oranges, for example.
Un
Sylvain Le Gall wrote:
>
> The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize
> an informal day where OCaml teams can meet to work. We will have 2
> classrooms, each can host 45 persons. There will be an internet access
> and a blackboard in each room. Inscription is free.
>
>
> Sylvain Le Gall :
> For the third time, I am proud to invite all OCaml enthusiasts to join
> us at OCaml Meeting 2010 in Paris.
Just to acknowledge.
Unfortunately I am far from Paris (Madagascar) and without any
possibilitty to attend, but really interested in.
I wish I could attend the next
11 matches
Mail list logo