[Caml-list] Commercial Users of Functional Programming 2012: Call for Presentations
2012-06-18 14:54 UTC
[Caml-list] [ANN] FAN 0.1 [Ask for feedback]
2012-06-18 12:26 UTC (3+ messages)
[Caml-list] *correction* PEPM 2013: Preliminary Call for Papers
2012-06-17 12:33 UTC
[Caml-list] Local functions with arguments or closures ?
2012-06-16 23:14 UTC (7+ messages)
` AW: "
[Caml-list] Unix.single_write, doc and atomicity
2012-06-16 23:11 UTC (5+ messages)
[Caml-list] [ANN] gperftools 0.1, extunix 0.0.5
2012-06-16 0:26 UTC
[Caml-list] mikmatch question
2012-06-15 23:23 UTC (2+ messages)
[Caml-list] PEPM 2012: Preliminary Call for Papers
2012-06-15 16:26 UTC
[Caml-list] Call for Participation: Mancoosi International Solver Competition
2012-06-15 14:31 UTC
[Caml-list] No interface to the C sysconf function in the Sys or Unix module?
2012-06-15 10:51 UTC (2+ messages)
[Caml-list] Appel à communication, JFLA 2013
2012-06-15 7:08 UTC
[Caml-list] oasis help: generating a toplevel instead of an exe
2012-06-15 4:32 UTC
[Caml-list] building profile cmx libraries with ocamlbuild
2012-06-15 0:46 UTC (2+ messages)
[Caml-list] [ANN] ocaml-expect v0.0.3: Expect-like framework
2012-06-14 20:26 UTC
[Caml-list] CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th
2012-06-13 19:01 UTC
[Caml-list] embed (ocamlyacc or menhirI in ocaml?
2012-06-13 13:53 UTC
[Caml-list] Beta release of OCaml 4.00.0
2012-06-13 9:23 UTC (22+ messages)
[Caml-list] What is the default hash function of string in 3.12?
2012-06-13 8:25 UTC (2+ messages)
[Caml-list] [ANN] ocaml-fileutils v0.4.4
2012-06-13 0:05 UTC
[Caml-list] [ANN] cryptokit v1.6: Cryptographic primitives
2012-06-12 23:53 UTC
[Caml-list] Extended Deadline: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
2012-06-12 22:02 UTC
[Caml-list] Extended Deadline: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
2012-06-12 21:47 UTC
[Caml-list] Numbered modules in error messages
2012-06-12 14:40 UTC (3+ messages)
` [Caml-list] "
[Caml-list] [ANN] ounit v1.1.2: Unit testing framework
2012-06-12 3:00 UTC (2+ messages)
[Caml-list] OCaml-on-iOS resources updated for Lion
2012-06-12 1:39 UTC
[Caml-list] Distributed computing libraries
2012-06-11 14:48 UTC (20+ messages)
` AW: "
` AW: "
` [Caml-list] OCaml package managers
[Caml-list] CICM 2012: Call for participation
2012-06-11 14:27 UTC (2+ messages)
` [Caml-list] CICM 2012: 2nd Call for participation; early registration deadline approaching
[Caml-list] [ANN] Official OCaml-4.00 patch for ocamlnet
2012-06-11 11:35 UTC
[Caml-list] [ANN] PXP-1.2.3 for OCaml-4.00
2012-06-11 11:25 UTC
[Caml-list] First Class modules -A bug in 4.00?
2012-06-10 9:27 UTC (6+ messages)
[Caml-list] strange error with packed modules and module type of
2012-06-08 20:36 UTC (5+ messages)
[Caml-list] [ANN] findlib-1.3.2 with support for ocaml-4.00
2012-06-08 16:06 UTC
[Caml-list] StarExec workshop at IJCAR 2012
2012-06-08 12:36 UTC
[Caml-list] OCaml Users and Developers (OUD)
2012-06-08 9:35 UTC (2+ messages)
[Caml-list] input_line for zero-terminated strings
2012-06-07 19:54 UTC (2+ messages)
` AW: "
[Caml-list] Fatal error: out of memory
2012-06-06 21:30 UTC (3+ messages)
` [Caml-list] "
[Caml-list] Windows installer for OCaml 4.00.0 beta 2
2012-06-06 17:14 UTC
[Caml-list] [ANN]: Parmap 0.9.9, and call for contributors (errata corrige)
2012-06-06 16:39 UTC
[Caml-list] [ANN]: Parmap 0.9.9, and call for contributors
2012-06-06 13:41 UTC
[Caml-list] Beta release of OCaml 4.00.0
2012-06-06 13:30 UTC
[Caml-list] HOPE 2012 (a new workshop co-located with ICFP): Final Call for Talk Proposals
2012-06-06 0:36 UTC
[Caml-list] Puzzled by Scanf.Scanning.in_channel
2012-06-05 8:53 UTC (4+ messages)
[Caml-list] some camlp4 documentations
2012-06-05 7:23 UTC (2+ messages)
[Caml-list] New release of moca
2012-06-04 16:17 UTC
[Caml-list] submodules for Dynlink plugins?
2012-06-04 16:11 UTC (3+ messages)
` [Caml-list] "
[Caml-list] Postdoc Position on Coverage Analysis of Concurrent Specification Languages, Inria/LIG, Grenoble, France
2012-06-04 14:52 UTC
[Caml-list] Postdoc Position on Coverage Analysis of Concurrent Specification Languages, Inria/LIG, Grenoble, France
2012-06-04 14:51 UTC
[Caml-list] Camlp5 6.06 compatible with OCaml 4.00.0 released
2012-06-04 9:40 UTC
[Caml-list] OCaml Users and Developers (OUD)
2012-06-04 9:06 UTC
[Caml-list] CfP: Event-B workshop at ICFEM 2012
2012-06-03 13:56 UTC
[Caml-list] Turing Centenary Conference, Manchester, June 22-25: Call for Participation
2012-06-03 10:37 UTC
[Caml-list] SSLST 2012: 3rd announcement
2012-06-02 11:14 UTC
[Caml-list] [ANN] Core Suite 108.00.01 released
2012-06-02 2:22 UTC
[Caml-list] "interface mismatch" in camlp4
2012-06-01 19:22 UTC (3+ messages)
[Caml-list] Can't make ocaml-sqlite3
2012-06-01 16:19 UTC (3+ messages)
[Caml-list] Call for Contributions: What will the Semantic Web look like 10 years from now? - workshop at ISWC2012
2012-06-01 15:43 UTC
[Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
2012-06-01 14:04 UTC (3+ messages)
` [Caml-list] CFP: Graph Computation Models (GCM2012)
` [Caml-list] Second "
[Caml-list] GAMES 2012 -- Call for contributions --
2012-06-01 10:46 UTC
Post-Doc position in the CerCo FET-Open EU Project
2012-06-01 2:57 UTC (2+ messages)
` [Caml-list] Post-Doc positions "
[Caml-list] Strange behavior from type inference after functor application
2012-05-31 22:36 UTC (4+ messages)
[Caml-list] Syntax extensions without Camlp4
2012-05-31 22:08 UTC (33+ messages)
` [Caml-list] "
[Caml-list] OCaml 4.00.0 compatibility report
2012-05-31 11:33 UTC
[Caml-list] One-value functors
2012-05-30 14:14 UTC (4+ messages)
[Caml-list] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation
2012-05-30 10:09 UTC
[Caml-list] OASIS help: what is the meaning of best in CompiledObject
2012-05-30 6:41 UTC (2+ messages)
AW: [Caml-list] Channels not closed on gc?
2012-05-29 18:58 UTC (7+ messages)
` "
[Caml-list] ML2012: Second Call For Presentations
2012-05-29 16:59 UTC
[Caml-list] IEEE HLDVT 2012: Call for Papers
2012-05-29 11:07 UTC
[Caml-list] POPL 2013: Call for papers
2012-05-29 8:24 UTC
[Caml-list] OASIS help: custom target
2012-05-29 4:15 UTC (3+ messages)
[Caml-list] LOLA 2012: Call for Participation (early registration by May 31)
2012-05-28 15:25 UTC
[Caml-list] OASIS help: passing the -classic-display option to ocamlbuild
2012-05-28 11:16 UTC (2+ messages)
[Caml-list] IJCAR 2012 Call for Participation
2012-05-28 10:50 UTC
[Caml-list] odb.ml mailing list
2012-05-28 10:21 UTC (2+ messages)
[Caml-list] Anyone using Benedikt Meurer's new ARM code generator?
2012-05-25 9:01 UTC (5+ messages)
` [Caml-list] "
` [Caml-list] segfault in camomile / gen_mappings.ml (was: Re: Anyone using Benedikt Meurer's new ARM code generator?)
` [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;
as well as URLs for NNTP newsgroup(s).