[Caml-list] Relational & Algebraic Methods (RAMiCS 2014) Deadlines extended!
2013-10-28 1:13 UTC
[Caml-list] Should -strict-sequence become the default?
2013-10-27 18:47 UTC (4+ messages)
[Caml-list] EXTENDED DEADLINE: Program Protection and Reverse Engineering Workshop (PPREW '14)
2013-10-27 18:20 UTC
[Caml-list] Equality between abstract type definitions
2013-10-27 15:41 UTC (26+ messages)
[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] [ANN] random-generator 0.1 (Was: [ANN] QCheck 0.1)
2013-10-25 15:57 UTC (3+ messages)
[Caml-list] GADTs : a type variable cannot be deduced
2013-10-25 12:25 UTC (2+ 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 (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] [fm-announcements] Call for Papers: NFM 2014
2013-10-01 1:33 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;
as well as URLs for NNTP newsgroup(s).