CFP-UML&AADL'2009
2008-12-19 20:39 UTC
More cores
2008-12-19 20:37 UTC (10+ messages)
` [Caml-list] "
` The Axis of Eval (was: More cores)
` [Caml-list] "
PhD positions in ICT on Formal Verification via SMT available in Trento
2008-12-19 15:38 UTC
Wanted: your feedback on the hierarchy of OCaml Batteries Included
2008-12-19 11:00 UTC (23+ messages)
` [Caml-list] "
` open Module (not?) considered harmful
` [Caml-list] "
[ANN] OCaml Meeting 2009 in Grenoble -- subscription open
2008-12-19 10:29 UTC
Joint Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)
2008-12-19 9:32 UTC
fork() and threads in ocaml 3.11
2008-12-18 19:25 UTC (3+ messages)
` [Caml-list] "
Freeze in 64-bit Windows Num module
2008-12-18 18:52 UTC (4+ messages)
` [Caml-list] "
Promo Logiciel BIO-FEEDBACK jusqu au 31 decembre 2008
2008-12-18 15:51 UTC
camlidl + mingw + 3.11 ?
2008-12-18 14:39 UTC
Change of behaviour of ocaml -make-runtime with 3.11.0
2008-12-18 12:32 UTC
Typing Dynamic Typing in ocaml?
2008-12-18 1:16 UTC (9+ messages)
` [Caml-list] "
Is there a maintainer / upstream for OCAML autoconf macros?
2008-12-16 12:42 UTC (2+ messages)
` [Caml-list] "
JFLA 2009: appel à participation
2008-12-16 10:09 UTC
Using camlp4 in extensions
2008-12-15 22:13 UTC (6+ messages)
` [Caml-list] "
ICFP09 Call for Papers
2008-12-15 17:52 UTC
CfP: ICTAC'09
2008-12-15 11:14 UTC
fast functional in-memory database?
2008-12-15 8:33 UTC
Immutable cyclic data structures via a
2008-12-14 20:06 UTC (7+ messages)
` [Caml-list] "
PLAS 2009 Call for Papers
2008-12-14 13:40 UTC
DAMP 2009: Call for Participation
2008-12-13 4:49 UTC
ocamlbuild: add source files on the fly
2008-12-12 21:38 UTC (2+ messages)
` [Caml-list] "
FroCoS'09 Call for Papers
2008-12-11 22:07 UTC
caml_atom_table bug still present in ocaml 3.11.0
2008-12-11 16:38 UTC (5+ messages)
` [Caml-list] "
wrapping external classes
2008-12-11 16:21 UTC (4+ messages)
` [Caml-list] "
OCaml version 3.11.0 released
2008-12-11 15:35 UTC (5+ messages)
` [Caml-list] "
` OCaml version 3.11.0 now in Fedora 11
[ANNOUNCEMENT]: SICSA Chairs, Lectureships and Research Fellowships at St Andrews
2008-12-11 11:07 UTC
daml - a CUDA binding
2008-12-11 10:04 UTC
How to handle try .... finally properly?
2008-12-11 0:52 UTC (4+ messages)
` [Caml-list] "
announce: pa_monad 6.0
2008-12-09 19:46 UTC
Ocaml back-end
2008-12-09 19:31 UTC (5+ messages)
` [Caml-list] "
` [Caml-list] "
TLDI 2009 Call for Participation
2008-12-09 18:23 UTC
ocamlbuildlib.cmxa not built under 3.11
2008-12-09 12:35 UTC (2+ messages)
` [Caml-list] "
Notes from testing OCaml 3.11.0+beta1 on Fedora
2008-12-09 9:30 UTC (2+ messages)
RTA 2nd CFP (June 29 - July 1, 2009, Brasilia)
2008-12-09 5:55 UTC
Nous avons des clients pour vous
2008-12-09 4:05 UTC
F# weaknesses
2008-12-09 1:51 UTC (4+ messages)
` [Caml-list] "
OCaml 3.11 on MinGW
2008-12-08 16:32 UTC (2+ messages)
` [Caml-list] "
[ANNOUNCE]: Dormin
2008-12-08 1:55 UTC
www.akunad.com
2008-12-07 17:29 UTC
New language feature in OCaml 3.11
2008-12-05 14:30 UTC (3+ messages)
` [Caml-list] "
D.Phil (PhD) Studentship on ConDOR project at Oxford University Computing Laboratory
2008-12-05 12:10 UTC
Research Position on HermiT project at Oxford University Computing Laboratory
2008-12-05 10:38 UTC
Computing with big numbers?
2008-12-05 7:07 UTC (9+ messages)
` [Caml-list] "
Finall Call For Papers (DSL WC)
2008-12-05 3:18 UTC
Finall Call For Papers (DSL WC)
2008-12-05 3:08 UTC
2nd Cfp : PAPP 2009 (Part of ICCS 2009)
2008-12-03 14:18 UTC
ocamlbuild rule with recursive action
2008-12-03 9:58 UTC (5+ messages)
` [Caml-list] "
OCaml 3.11.0 release candidate
2008-12-02 22:27 UTC (22+ messages)
` [Caml-list] "
Issues with Sexplib (#2)
2008-12-02 19:21 UTC (2+ messages)
` [Caml-list] "
Issues with Sexplib (#1)
2008-12-02 19:14 UTC (4+ messages)
` [Caml-list] "
TSI numérospécial ANALYSE STATIQUE et COMPILATION: extension des envois au 15 février
2008-12-02 17:18 UTC
Call for Papers: MOMPES @ ICSE 2009
2008-12-01 23:05 UTC
[Caml-list] [announce] O'Browser : OCaml on browsers
2008-11-30 12:09 UTC (3+ messages)
Web Services Question
2008-11-28 15:45 UTC
Alyssa vous aide et vous dévoile les secrets
2008-11-27 11:30 UTC
Tutorial example for nat dynlink
2008-11-26 14:34 UTC (2+ messages)
` [Caml-list] "
[Caml-list] Manipulating xml files withing ocaml
2008-11-26 11:27 UTC
Native dynlink on 3.11: a request for packagers
2008-11-26 8:16 UTC (7+ messages)
` [Caml-list] "
BDD reloaded
2008-11-25 17:35 UTC (2+ messages)
` [Caml-list] "
Wanted: more feedback on the non-hierarchy candidate of Batteries
2008-11-25 12:13 UTC
[ANN] Kaputt 1.0 alpha
2008-11-25 9:55 UTC (11+ messages)
` [Caml-list] "
A function returning itself
2008-11-24 22:49 UTC (3+ messages)
` [Caml-list] "
QPL license issue on toplevel
2008-11-24 16:28 UTC
[Caml-list] Manipulating xml files withing ocaml
2008-11-23 22:45 UTC (6+ messages)
` Re : "
Accessing constructors (tags) from C
2008-11-23 21:49 UTC (4+ messages)
` [Caml-list] "
Manipulating xml files withing ocaml
2008-11-23 17:13 UTC
Irritating top-level problem
2008-11-23 16:37 UTC (2+ messages)
` [Caml-list] "
About namespaces
2008-11-22 19:30 UTC (2+ messages)
` [Caml-list] "
[Caml-list] Native dynlink on 3.11: a request for packagers
2008-11-22 19:02 UTC (3+ messages)
Jobs
2008-11-22 10:40 UTC
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