[Caml-list] concurrent gc?
2014-07-24 15:39 UTC (12+ messages)
[Caml-list] [RFC] User criteria for dependency solvers
2014-07-24 14:10 UTC
[Caml-list] [ANN] ppx_deriving 0.1
2014-07-23 20:37 UTC (4+ messages)
[Caml-list] lablgtk with OCamlMakefile
2014-07-23 12:34 UTC (6+ messages)
[Caml-list] Program proof - how to do that?
2014-07-22 22:31 UTC (8+ messages)
[Caml-list] Immutable strings
2014-07-21 15:06 UTC (23+ messages)
[Caml-list] ICTCC 2014: International Conference on NaTure of Computation and Communication (ICTCC) . Deadline: 31 July 2014
2014-07-19 4:47 UTC
[Caml-list] A proposal of a standard support for Unicode string
2014-07-18 15:42 UTC (2+ messages)
[Caml-list] BigDat 2015: 23 July registration deadline
2014-07-18 13:53 UTC
[Caml-list] CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)
2014-07-18 13:45 UTC
[Caml-list] 2-year position for a specialized engineer (Inria Project pi.r2, ADT Coq-API)
2014-07-18 9:58 UTC
[Caml-list] IPv6 zone-id
2014-07-17 10:51 UTC (7+ messages)
[Caml-list] Lablqt 0.3 is out
2014-07-17 10:37 UTC
[Caml-list] [fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015
2014-07-17 6:25 UTC
[Caml-list] Article on why they use Ocaml: "Why We Use OCaml | Esper Tech Blog"
2014-07-17 0:31 UTC
[Caml-list] Existential row types
2014-07-16 11:17 UTC (3+ messages)
[Caml-list] [ANN] OCaml-Java is going alpha, to github
2014-07-16 7:44 UTC (6+ messages)
[Caml-list] proposal for finding, loading and composing ppx preprocessors
2014-07-15 15:56 UTC (14+ messages)
[Caml-list] CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo
2014-07-15 11:22 UTC
[Caml-list] [ANN] Core Suite 111.21.00
2014-07-15 10:52 UTC
[Caml-list] [ANNOUNCE] llpp v19
2014-07-14 15:29 UTC (3+ messages)
[Caml-list] Toplevel startup hook
2014-07-13 10:23 UTC
[Caml-list] TPNC 2014: extended submission deadline 24 July
2014-07-12 13:57 UTC
[Caml-list] PPDP 2014 Call for Participation
2014-07-11 22:05 UTC
[Caml-list] Call for Submissions: International Conference on Information Society (i-Society 2014)!
2014-07-11 19:53 UTC
[Caml-list] [ANN] ocaml-tls (and ocaml-nocrypto / ocaml-x509 / ocaml-asn1-combinators)
2014-07-08 20:31 UTC
[Caml-list] Call for Submissions: Ireland International Conference on Education (IICE-2014)!
2014-07-07 17:59 UTC
[Caml-list] [ANN] capnp-ocaml 1.0.0
2014-07-07 15:10 UTC (2+ messages)
[Caml-list] PhD Position: Programming, Modelling and Verification of Concurrent Software
2014-07-07 7:21 UTC
[Caml-list] ML Family workshop: First Call for Participation
2014-07-07 1:39 UTC
[Caml-list] [ANN] ocaml-lz4 1.0.0
2014-07-04 21:44 UTC
[Caml-list] [ANN] Cmdliner 0.9.5
2014-07-04 13:56 UTC
[Caml-list]
2014-07-04 10:35 UTC
[Caml-list] OCaml 2014 Call for Participation
2014-07-04 4:30 UTC
[Caml-list] Fwd: Toplevel and syntax extension
2014-07-03 6:16 UTC (11+ messages)
[Caml-list] How does OCaml std test Random
2014-07-02 19:42 UTC (2+ messages)
[Caml-list] Extending Format strings
2014-07-02 13:34 UTC (7+ messages)
[Caml-list] Case insensitive in type
2014-07-02 9:43 UTC (4+ messages)
[Caml-list] PhD position, Data Semantics/Semantic Web, Wright State University
2014-07-02 0:32 UTC
[Caml-list] Book reviewers wanted (again)
2014-07-01 15:04 UTC
[Caml-list] Build != source directory?
2014-07-01 14:04 UTC (2+ messages)
[Caml-list] OCaml on the Arduino (or similar)
2014-07-01 6:29 UTC (8+ messages)
[Caml-list] Last Mile: 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)
2014-06-30 15:56 UTC
[Caml-list] [ANN] Uucp 0.9.0
2014-06-30 14:34 UTC (5+ messages)
[Caml-list] OCaml release 4.02.0+beta1
2014-06-30 13:10 UTC (4+ messages)
[Caml-list] ICOOOLPS 2014 Call For Participation
2014-06-30 12:20 UTC
[Caml-list] Strange interaction between recursive modules, GADT exhaustiveness checking and type-checking?
2014-06-30 11:07 UTC (3+ messages)
[Caml-list] SSTiC 2014: last-minute half-price registration
2014-06-28 11:06 UTC
[Caml-list] Functional Art, Music, Modelling and Design (FARM 2014): Call for Participation
2014-06-28 6:16 UTC
[Caml-list] Memory leaks generated by Scanf.fscanf?
2014-06-27 14:32 UTC (6+ messages)
[Caml-list] ICFP 2014 Call for Participation
2014-06-26 18:51 UTC
[Caml-list] OUPS meetings (next event, 8th of July)
2014-06-26 18:29 UTC
[Caml-list] ReactiveML 1.09.03
2014-06-26 8:19 UTC
[Caml-list] SCSS 2014 Deadline Extension
2014-06-25 16:16 UTC
[Caml-list] [ANN] findlib-1.5.1
2014-06-25 11:21 UTC
[Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories
2014-06-24 17:21 UTC (3+ messages)
[Caml-list] SCSS 2014: Deadline extension
2014-06-24 17:10 UTC
[Caml-list] Appel à communication : JFLA 2015
2014-06-23 20:56 UTC
[Caml-list] [ANN] Core Suite 111.17.00
2014-06-21 19:19 UTC (9+ messages)
` [Caml-list] mysterious cgi problem
[Caml-list] Last Mile: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014)
2014-06-21 10:22 UTC
[Caml-list] ECOOP 2014: Call for Participation
2014-06-18 6:27 UTC
[Caml-list] [ANN] Uucd 2.0.0 & Uunf 0.9.3 for Unicode 7.0.0
2014-06-16 22:45 UTC
[Caml-list] Why AVL-tree?
2014-06-15 14:01 UTC (4+ messages)
[Caml-list] Vienna Summer of Logic: Call for participation
2014-06-15 8:54 UTC
[Caml-list] TPNC 2014: 3rd call for papers
2014-06-14 16:24 UTC
[Caml-list] Adding Dimensions to types
2014-06-13 20:08 UTC (10+ messages)
[Caml-list] Missleading type error
2014-06-13 11:02 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).