caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Confirm 1875faa01d0f856666c7064c16632ab1
 2013-10-20 17:09 UTC 

[Caml-list] IPv6 packet parsing
 2013-10-19  8:54 UTC  (15+ messages)

[Caml-list] Camlp5 error when printing expression
 2013-10-18 12:00 UTC  (3+ messages)

[Caml-list] async exceptions with lwt/async?
 2013-10-18  9:02 UTC  (2+ messages)

[Caml-list] faculty position opening in "Big Data" at Wright State University
 2013-10-18  2:24 UTC 

[Caml-list] phphard
 2013-10-17  6:08 UTC  (3+ messages)

[Caml-list] Marshalling: automatic discard of unmashalable data via ephemerons
 2013-10-16 16:24 UTC  (5+ messages)

[Caml-list] Developper position: designing a C front-end in OCaml
 2013-10-16  6:12 UTC  (13+ messages)
  ` [Caml-list] [ocaml-jobs] "

[Caml-list] Packing/Unpacking modules
 2013-10-15 16:54 UTC  (2+ messages)

[Caml-list] CFP for MSFP 2014
 2013-10-15  9:05 UTC 

[Caml-list] [ANN] OPAM 1.1.0 Release Candidate
 2013-10-14 22:00 UTC  (2+ messages)

[Caml-list] ocamldep + preprocessor
 2013-10-14 16:16 UTC 

[Caml-list] CfP: JSC Special Issue on Symbolic Computation in Software Science
 2013-10-14 10:03 UTC 

[Caml-list] DICE 2014: Call for Contributions
 2013-10-14  7:38 UTC 

[Caml-list] Call for Paper: FM 2014, 14 - 16 May, Singapore
 2013-10-12 14:19 UTC 

[Caml-list] LATA 2014: extended submission deadline 21 October
 2013-10-12  9:47 UTC 

[Caml-list] Proposal: re-design of ocaml headers
 2013-10-11 15:48 UTC  (6+ messages)

[Caml-list] Essays in Memory of Mark Stickel
 2013-10-11 14:31 UTC 

[Caml-list] Preliminary CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014)
 2013-10-11  9:29 UTC 

[Caml-list] OCaml 2013: papers and slides are available
 2013-10-11  9:02 UTC  (7+ messages)

[Caml-list] Pattern matching on refs
 2013-10-11  6:10 UTC  (8+ messages)

[Caml-list] exhaustiveness checking within a submatch
 2013-10-10 17:32 UTC  (4+ messages)

[Caml-list] [ANN] Procord 0.1.0: Delegate tasks to other processes
 2013-10-10 15:59 UTC  (5+ messages)

[Caml-list] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration
 2013-10-09 16:49 UTC 

[Caml-list] BIS 2014: First Call for Workshop and Event Proposals
 2013-10-09 12:28 UTC 

[Caml-list] CFP: Program Protection and Reverse Engineering Workshop
 2013-10-08 18:19 UTC 

[Caml-list] ocamldoc ... "Warning: Module or module type BatSet.StringSet not found"
 2013-10-08 17:44 UTC  (5+ messages)

[Caml-list] equivalent checking of ocaml program?
 2013-10-08 15:29 UTC  (8+ messages)

[Caml-list] Scanf.sscanf surprised me
 2013-10-08 15:23 UTC  (4+ messages)

[Caml-list] First CFP: 17th International Conference on Business Information Systems (BIS 2014)
 2013-10-08 13:43 UTC 

[Caml-list] ledit not handling home/end sequences properly
 2013-10-08  9:41 UTC  (5+ messages)

[Caml-list] 2nd CfP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
 2013-10-08  3:00 UTC 

[Caml-list] Thread behaviour
 2013-10-07 14:57 UTC  (22+ messages)

[Caml-list] [ANN] QCheck 0.1
 2013-10-07  8:50 UTC  (3+ messages)

[Caml-list] Feedback on the ocaml.org redesign and logo
 2013-10-06 14:15 UTC  (2+ messages)
` [Caml-list] [ocaml-infra] "

[Caml-list] OASIS help - libraries with mixed C/C++ part
 2013-10-06  3:19 UTC  (3+ messages)

[Caml-list] Current state of threading parallelism?
 2013-10-05 23:28 UTC  (7+ messages)

[Caml-list] TPNC 2013: 2nd call for posters
 2013-10-05  9:32 UTC 

[Caml-list] Adding ttk (tile tk) bindings to labltk
 2013-10-04 14:14 UTC  (5+ messages)

[Caml-list] empty mli for executable
 2013-10-03 20:52 UTC  (4+ messages)

[Caml-list] [ANN] OUnit v2.0.0
 2013-10-03 18:22 UTC  (4+ messages)

[Caml-list] ocaml interface to berkeley db?
 2013-10-03 14:41 UTC  (4+ messages)

[Caml-list] long lines in some OCaml code
 2013-10-03  8:09 UTC  (4+ messages)

[Caml-list] OCaml editor running tests or other tasks in background?
 2013-10-03  6:06 UTC  (6+ messages)

[Caml-list] Functional Languages User Group ce Samedi à l'OpenWorld Forum (was: Call for Talks - Open World Forum / OSDC)
 2013-10-02 20:07 UTC 

[Caml-list] LPAR-19 - Calls for Short Papers and Workshop Papers
 2013-10-02 18:01 UTC 

[Caml-list] [ANN] Uucd 1.0.0 & Uunf 0.9.2
 2013-10-01 17:18 UTC  (5+ messages)

[Caml-list] mktop, threads and batteries: inconsistent assumptions
 2013-10-01 12:40 UTC 

[Caml-list] Accelerating compilation
 2013-10-01 12:25 UTC  (15+ messages)
      ` [Caml-list] from oasis to obuild (original subject was Re: Accelerating compilation)

[Caml-list] semaphore puzzle
 2013-10-01 11:30 UTC  (2+ messages)

[Caml-list] [Announce] LablGtk 2.18.0 and LablGL 1.05
 2013-10-01 10:07 UTC 

[Caml-list] Two questions on the OCAML runtime system and compiler,
 2013-10-01  3:30 UTC  (6+ messages)

[Caml-list] [fm-announcements] Call for Papers: NFM 2014
 2013-10-01  1:33 UTC 

[Caml-list] [ANN] Beta release of OPAM 1.1.0
 2013-09-30 21:09 UTC  (3+ messages)

[Caml-list] OCaml Forge and Github
 2013-09-30 14:20 UTC  (11+ messages)

[Caml-list] UFO (United Forces of OCaml)
 2013-09-30 14:14 UTC  (3+ messages)

[Caml-list] Esterel Technologies is looking for an Ocaml SW developer in Toulouse (CDI)
 2013-09-30 14:01 UTC 

[Caml-list] [ANN] Gg 0.8.0 and Vg 0.8.0
 2013-09-30 13:50 UTC  (2+ messages)

[Caml-list] Ocaml on an embedded arm system (no linux)
 2013-09-30 13:48 UTC  (4+ messages)

page:  |  | 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).