[Caml-list] IPv6 zone-id
2014-07-16 16:04 UTC (5+ messages)
[Caml-list] Immutable strings
2014-07-16 11:38 UTC (22+ messages)
[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] Program proof - how to do that?
2014-07-12 12:26 UTC (4+ messages)
[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 (6+ 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
[Caml-list] Next OUPS meetings: June, 19 and July, 8
2014-06-12 20:01 UTC
[Caml-list] Row-polymorphic type declarations
2014-06-11 2:20 UTC (4+ messages)
[Caml-list] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014
2014-06-10 19:08 UTC
[Caml-list] Thoughts on targeting windows
2014-06-10 9:53 UTC (10+ messages)
[Caml-list] Designing a (functional) multi-agent simulation -- illusion of paralellism
2014-06-10 9:12 UTC (5+ messages)
[Caml-list] Second CfP TARK-workshop 'Reasoning about other minds', Groningen, 11 July 2011
2014-06-09 20:18 UTC (2+ messages)
` [Caml-list] CfP workshop 'Reasoning about other minds', Groningen, 4-5 August, 2014
[Caml-list] uCorelib 0.2.0
2014-06-09 13:38 UTC
[Caml-list] ICTAI 2014: Final Call for Papers (extended submission deadline)
2014-06-09 8:11 UTC
[Caml-list] BigDat 2015: June 23, 2014 - 1st registration deadline
2014-06-07 15:07 UTC
[Caml-list] Last Mile: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014)
2014-06-07 10:28 UTC
[Caml-list] static linking
2014-06-07 9:55 UTC (5+ messages)
[Caml-list] [ANN] PG'OCaml 2.1
2014-06-06 15:25 UTC
[Caml-list] Final call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)
2014-06-06 13:22 UTC
[Caml-list] Multicore runtime
2014-06-05 17:01 UTC (2+ messages)
[Caml-list] CfP: C4BD2014 - Workshop on Complexity for Big Data at IEEE BigData 2014
2014-06-05 13:25 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