evaluation order
2009-06-14 19:40 UTC (3+ messages)
` [Caml-list] "
project management tool
2009-06-14 17:22 UTC (6+ messages)
` [Caml-list] "
Camlp4, answering my own question
2009-06-14 7:55 UTC (2+ messages)
` [Caml-list] "
Camlp4 question
2009-06-14 0:25 UTC
Batteries and portability
2009-06-13 21:44 UTC (11+ messages)
` [Caml-list] "
ocamllex and python-style indentation
2009-06-12 15:43 UTC (8+ messages)
` [Caml-list] "
CONCUR 2009: Call for Affiliated Workshops
2009-06-12 15:21 UTC (2+ messages)
` CONCUR 2009: Call for Participation
OCaml 3.11.1 released
2009-06-12 13:43 UTC (4+ messages)
` [Caml-list] "
Hunting a memory leak
2009-06-12 12:16 UTC
The state of ML: multi-threaded, saved state and support platforms
2009-06-12 8:24 UTC (10+ messages)
` [Caml-list] "
[ANN] syncweb, literate programming meets unison
2009-06-10 19:21 UTC
[ANN] distribution.ml, a poor's man MapReduce for OCaml using MPI
2009-06-10 17:49 UTC
Caml on CentOS: problem with -custom option
2009-06-09 16:47 UTC (7+ messages)
` [Caml-list] "
Is it possible to debug (multithreaded) lablgtk2 apps?
2009-06-09 13:37 UTC (3+ messages)
` [Caml-list] "
JOB: post-doc at MSR-INRIA Joint Centre
2009-06-09 11:50 UTC
Compiling C++ in OCaml using Swig to native code
2009-06-09 11:36 UTC
PhD position in Nottingham
2009-06-09 10:27 UTC
Offre d'emploi INRIA Saclay
2009-06-09 8:06 UTC
Broken dumps from memprof patch?
2009-06-08 18:09 UTC
Behavior of %F
2009-06-08 16:25 UTC (2+ messages)
` Godi & tcl/tk
Which types for representing HTML documents ?
2009-06-08 11:35 UTC (4+ messages)
` [Caml-list] "
typing difference (bug?) between 3.10.2 and 3.11(.1?)
2009-06-07 13:28 UTC
WMM 2009: Last Call for Papers
2009-06-06 1:39 UTC
RR 2009 Call for Papers
2009-06-05 21:50 UTC
Memory leak & slowdown
2009-06-05 16:21 UTC (4+ messages)
` [Caml-list] "
ML 2009 Call for Demos
2009-06-05 13:53 UTC
VECoS 2009 - Call for Participation
2009-06-05 13:09 UTC
SSL mutual authentication
2009-06-05 10:40 UTC
Garbage collection and profiling
2009-06-04 20:13 UTC (4+ messages)
` [Caml-list] "
Ph.D and Postdoc Positions available in Durham, UK
2009-06-04 17:55 UTC (3+ messages)
` TASE 2009 - Call for Participation
GtkMozilla and LablGTK
2009-06-04 15:56 UTC (3+ messages)
` [Caml-list] "
QFM'09: Call For Papers
2009-06-04 10:48 UTC (2+ messages)
` Workshop on Quantitative Formal Methods - "
Extending existing modules
2009-06-03 19:10 UTC (2+ messages)
` [Caml-list] "
ANN: OCaml 3.11.1+rc1
2009-06-03 18:42 UTC (2+ messages)
` [Caml-list] "
Trying to build Ocaml 3.11.0 on ia64 HP-UX
2009-06-03 13:00 UTC
ANN: Probabilistic programming in OCaml
2009-06-03 5:43 UTC
ANN: Probabilistic programming in OCaml
2009-06-03 0:21 UTC (2+ messages)
` [Caml-list] "
ANN: OCaml/Sqlite ORM layer (preview 0.2)
2009-06-02 17:20 UTC
Strange, occasional build failure with ocamlmklib / ranlib
2009-06-02 14:53 UTC (4+ messages)
` [Caml-list] "
[Caml-list] Width subtyping
2009-06-01 17:04 UTC (3+ messages)
Camlp4 {< ... >} bug #4673 in 3.11-rc1 : extension workaround
2009-06-01 14:14 UTC
[Caml-list] Width subtyping
2009-06-01 11:34 UTC (2+ messages)
OCaml MinGW 64-bit Port
2009-06-01 7:51 UTC
[Caml-list] Width subtyping
2009-06-01 4:21 UTC (4+ messages)
[ANN] Bisect / Bolt / Kaputt: 1.0-beta releases
2009-05-31 15:37 UTC
How to do thread save callbacks from C to ocaml?
2009-05-30 20:51 UTC
IFL 2009: Second Call for Papers
2009-05-29 16:22 UTC
[Caml-list] Width subtyping
2009-05-29 16:06 UTC (2+ messages)
[Caml-list] Width subtyping
2009-05-29 15:50 UTC
[Caml-list] Width subtyping
2009-05-29 15:38 UTC
Width subtyping
2009-05-29 15:33 UTC (4+ messages)
` [Caml-list] "
Typing diff between 3.10.0 and 3.11.0
2009-05-28 12:43 UTC (2+ messages)
` [Caml-list] "
CICM 2009 (Calculemus and MKM) - Call for Participation
2009-05-28 9:28 UTC
DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09)
2009-05-28 4:37 UTC
let x = ... in object
2009-05-27 1:46 UTC (5+ messages)
` [Caml-list] "
OCaml version 3.11.1+rc0
2009-05-26 18:40 UTC (13+ messages)
` [Caml-list] "
` camlp5 fails with 3.11.1 (was: Re: [Caml-list] OCaml version 3.11.1+rc0)
` camlp5 5.12 compatible with ocaml 3.11.1
` [Caml-list] "
` ocaml-ulex fails (because of ocamlbuild change/problem?)
` ocaml-lwt fails (same error with ocamlbuild)
small typing problem with modules
2009-05-26 13:35 UTC (4+ messages)
` [Caml-list] "
ANNOUNCE: ocaml-ancient 0.9.0 - adds 'ancient' heap to OCaml
2009-05-26 12:04 UTC
Des concepts autour des bulles - Merci de trans. au service communication
2009-05-26 11:14 UTC
Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)
2009-05-25 15:59 UTC
(no subject)
2009-05-25 11:35 UTC
Ouverture de deux postes
2009-05-25 8:58 UTC
Ocamlopt x86-32 and SSE2
2009-05-25 8:23 UTC (4+ messages)
` [Caml-list] "
LCC Extension/CfP
2009-05-25 3:02 UTC
Linking fails for native version of 3.11 under MinGW when using large number of modules
2009-05-24 20:15 UTC (5+ messages)
` [Caml-list] "
Strange buffering interaction: stdout / file_descr
2009-05-24 10:55 UTC (2+ messages)
` [Caml-list] "
Camlp4 documentation
2009-05-23 19:55 UTC (5+ messages)
` Re : [Caml-list] "
` "
New upstream for OCaml Calendar?
2009-05-23 8:56 UTC (2+ messages)
` [Caml-list] "
Ocaml porting issue?
2009-05-22 20:03 UTC
building Batteries Included under OS X?
2009-05-22 7:31 UTC (9+ messages)
` [Caml-list] "
Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)
2009-05-22 5:33 UTC
Issues building batteries / installing camlzip
2009-05-21 17:03 UTC (3+ messages)
` [Caml-list] "
syntax extensions using batteries
2009-05-20 19:07 UTC
Git-binding for OCAML
2009-05-20 12:49 UTC (3+ messages)
` [Caml-list] "
Formal OS in OCAML
2009-05-20 10:26 UTC
Formal OS in OCAML
2009-05-20 10:16 UTC
findlib with MinGW
2009-05-19 9:19 UTC (2+ messages)
` [Caml-list] "
New ML jobs
2009-05-18 10:28 UTC
Are local macros needed?
2009-05-18 9:28 UTC
Static Function in Class
2009-05-18 9:25 UTC (3+ messages)
` [Caml-list] "
problem building godi-bin-prot on OS X
2009-05-17 17:51 UTC (4+ messages)
` [Caml-list] "
Data type representing 'Money'
2009-05-17 16:15 UTC (5+ messages)
` [Caml-list] "
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox