caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Ubuntu + Batteries ... missing (?) Batteries_uni module
 2013-10-31 19:06 UTC 

[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
 2013-10-31 11:14 UTC 

[Caml-list] Operator for Lazy.force?
 2013-10-31 11:10 UTC  (4+ messages)

[Caml-list] ICFP 2014: Call for Workshop & Co-located Even Proposals
 2013-10-30 18:42 UTC 

[Caml-list] A useful Makefile collection for OCaml projects
 2013-10-30  6:55 UTC  (2+ messages)

[Caml-list] Pretty-printing Lwt data structures & using Cohttp_lwt
 2013-10-29 17:23 UTC 

[Caml-list] GADTs : a type variable cannot be deduced
 2013-10-29 14:47 UTC  (4+ messages)

[Caml-list] Fwd: Using Uri with Google Distance Matrix API
 2013-10-29 12:14 UTC 

[Caml-list] [ANN] random-generator 0.1 (Was: [ANN] QCheck 0.1)
 2013-10-29  0:55 UTC  (4+ messages)

[Caml-list] Using Uri with Google Distance Matrix API
 2013-10-28 22:26 UTC  (2+ messages)

[Caml-list] IJCAR 2014 Call for Papers
 2013-10-28 16:42 UTC 

[Caml-list] Should -strict-sequence become the default?
 2013-10-28 14:13 UTC  (9+ messages)

[Caml-list] Equality between abstract type definitions
 2013-10-28  3:30 UTC  (27+ messages)

[Caml-list] Relational & Algebraic Methods (RAMiCS 2014) Deadlines extended!
 2013-10-28  1:13 UTC 

[Caml-list] EXTENDED DEADLINE: Program Protection and Reverse Engineering Workshop (PPREW '14)
 2013-10-27 18:20 UTC 

[Caml-list] BER-MetaOCaml for OCaml 4.01 ?
 2013-10-27  4:11 UTC  (2+ messages)

[Caml-list] Robust left to right flow for record disambiguation
 2013-10-26  6:05 UTC  (8+ messages)

[Caml-list] [CFP] First International Workshop on Formal Integrated Development Environment
 2013-10-24 17:19 UTC 

[Caml-list] strange compiler's tolerance
 2013-10-24 14:35 UTC  (4+ messages)

[Caml-list] Call for participation: APLAS and CPP 2013
 2013-10-24  9:04 UTC 

[Caml-list] Marshalling: automatic discard of unmashalable data via ephemerons
 2013-10-22  9:38 UTC  (6+ messages)
` [Caml-list] Marshalling: automatic discard of unmashalable data via

[Caml-list] IPv6 packet parsing
 2013-10-21  8:37 UTC  (17+ messages)

[Caml-list] Confirm 74fb9510c44c3dcb89e097950b2672d3
 2013-10-21  3:50 UTC 

[Caml-list] TAMC2014 in Chennai, India, April 11-13, 2014
 2013-10-21  3:26 UTC 

[Caml-list] Confirm 433cfda39280b12ec283f20444052f50
 2013-10-21  0:54 UTC 

[Caml-list] Confirm 0205ad28f7fc754e656749f7cf739efb
 2013-10-20 23:09 UTC 

[Caml-list] Confirm 15e11282e00d0151dc2f5d35e3b2da34
 2013-10-20 18:14 UTC 

[Caml-list] Confirm bf89311e00af238732118a017ec1dd2b
 2013-10-20 17:09 UTC 

[Caml-list] Confirm 1875faa01d0f856666c7064c16632ab1
 2013-10-20 17:09 UTC 

[Caml-list] avis de coupure
 2013-10-20 14:21 UTC 

[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] 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  (4+ 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  (10+ 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  (6+ messages)

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

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

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