caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Status of the OCaml RISC-V port
 2018-02-26  8:56 UTC  (7+ messages)

[Caml-list] [ANN] first release of orsvm-e1071 (SVM from R usable from OCaml)
 2018-02-26  6:07 UTC 

[Caml-list] Has anybody gotten delimcc to work?
 2018-02-26  5:42 UTC  (7+ messages)

[Caml-list] Workshop HDRA 2018: Call for Papers
 2018-02-22 12:30 UTC 

[Caml-list] VerifyThis 2018: Call for Problems and First Announcement
 2018-02-21 16:10 UTC 

[Caml-list] Special Issue on Commonsense Reasoning - Call for Papers
 2018-02-20 22:14 UTC 

[Caml-list] iFM 2018 Call for Papers
 2018-02-20 20:57 UTC 

[Caml-list] Final CfP: SEFM 2018
 2018-02-20  8:00 UTC 

[Caml-list] RuleML+RR 2018 SECOND CALL FOR PAPERS
 2018-02-19 17:00 UTC 

[Caml-list] cairo 1.2.0 and ocaml 4.06.0
 2018-02-18 18:51 UTC  (2+ messages)

[Caml-list] [fm-announcements] NFM 2018 - Call for Participation
 2018-02-16 21:14 UTC 

[Caml-list] FLoC 2018 - Joint Call for Workshop Papers
 2018-02-16 16:31 UTC 

[Caml-list] Release 4.06.1
 2018-02-16 14:29 UTC 

[Caml-list] 25th AUTOMATED REASONING WORKSHOP 2018
 2018-02-16 13:46 UTC 

[Caml-list] First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
 2018-02-16 13:24 UTC 

[Caml-list] SAT/SMT/AR Summer School 2018
 2018-02-15 16:55 UTC 

[Caml-list] a question about syntax
 2018-02-15  1:17 UTC  (9+ messages)

[Caml-list] why does "opam install graphics" fail?
 2018-02-14 19:58 UTC  (15+ messages)

[Caml-list] First CFP 3rd International Workshop about Sets and Tools (SETS 2018)
 2018-02-13 14:58 UTC 

[Caml-list] Camlcity.org is down
 2018-02-12 20:26 UTC  (2+ messages)

[Caml-list] Protobuf for ocaml
 2018-02-11 15:14 UTC  (11+ messages)
        ` Aw: "

[Caml-list] File synchronization implementation(s) in OCaml?
 2018-02-08 15:50 UTC  (7+ messages)

[Caml-list] TSD 2018 - First Call for Papers
 2018-02-08  8:53 UTC 

[Caml-list] Are record types generative?
 2018-02-08  0:46 UTC  (21+ messages)
              ` [Caml-list] [ANN] first release of bst: a bisector tree implementation

[Caml-list] ignore in postfix position
 2018-02-07 11:09 UTC  (2+ messages)

[Caml-list] REMINDER: KR 2018 Doctoral Consortium Call for Papers
 2018-02-07  2:53 UTC 

[Caml-list] ** 3-MONTH REMINDER ** KR 2018 Call for Papers
 2018-02-07  2:35 UTC 

[Caml-list] FMCAD 2018 - Call for Papers
 2018-02-06 15:15 UTC 

[Caml-list] OCaml 4.06.1+rc2
 2018-02-06  8:33 UTC 

[Caml-list] Run time error on exception
 2018-02-05 15:26 UTC  (6+ messages)

[Caml-list] Second Call for Papers: PACMPL issue ICFP 2018
 2018-02-05  7:33 UTC 

[Caml-list] ANN: opam 2.0.0 Release Candidate 1 is out
 2018-02-02 16:44 UTC 

[Caml-list] Looking for an OCaml developer for work before end of March
 2018-02-02  9:18 UTC 

[Caml-list] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals
 2018-01-31 21:43 UTC 

[Caml-list] [Job] Haxe Foundation is recruiting a compiler developer
 2018-01-31 20:20 UTC 

[Caml-list] OCaml vs CVE-2017-9779
 2018-01-31 14:18 UTC  (4+ messages)

[Caml-list] 2nd CfP: SEFM 2018
 2018-01-30 15:32 UTC 

[Caml-list] flambda for bytecode backend
 2018-01-29 16:26 UTC  (5+ messages)
` [Caml-list] <DKIM> "
    ` [Caml-list] OCaml <-> Computer Algebra

[Caml-list] FOPSS Logic and Learning School advertisement
 2018-01-27  0:03 UTC 

[Caml-list] Type annotations [Was: Are record types generative?]
 2018-01-26 14:41 UTC  (2+ messages)

[Caml-list] In need of an ocaml guru
 2018-01-25 15:14 UTC  (2+ messages)

[Caml-list] PPDP 2018: First Call for Papers
 2018-01-23 13:45 UTC 

[Caml-list] CfP Gender Equality in Software Engineering
 2018-01-22 12:16 UTC 

[Caml-list] A question RE labltk installation on MacOS Sierra
 2018-01-22  9:08 UTC  (3+ messages)

[Caml-list] Group registration on Freenode.net for #ocaml channels
 2018-01-21 13:48 UTC  (4+ messages)

[Caml-list] The 2018 Alonzo Church Award: Call for Nominations
 2018-01-20 11:48 UTC 

[Caml-list] School on Runtime Verification - March 19-21, in the French Alps
 2018-01-19 16:21 UTC 

[Caml-list] OCaml 4.06.1+rc1
 2018-01-19 15:29 UTC 

[Caml-list] do we have a (fast) diameter of a point set implementation out there?
 2018-01-19  5:53 UTC 

[Caml-list] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers
 2018-01-17 21:13 UTC 

[Caml-list] 2nd Call for Participation: BOB 2018 (February 23, Berlin)
 2018-01-16 17:39 UTC 

[Caml-list] Final CfP: FM 2018
 2018-01-12 17:33 UTC 

[Caml-list] In-memory assembly
 2018-01-10 16:46 UTC  (4+ messages)

[Caml-list] Deadline extension: Models for Formal Analysis of Real Systems (MARS 2018)
 2018-01-10 12:17 UTC 

[Caml-list] IJCAR 2018 - Call for Papers
 2018-01-09 14:01 UTC 

[Caml-list] JFLA 2018 : dernier appel à participation
 2018-01-09 12:14 UTC 

[Caml-list] Call for Sessions, ICMS 2018
 2018-01-09 11:10 UTC 

[Caml-list] Engineer position at Inria Rennes to work on JSExplain, a JavaScript interpreter in OCaml
 2018-01-09  9:12 UTC 

[Caml-list] CICM 2018: Call for Papers, Workshops & Tutorials
 2018-01-09  7:54 UTC 

[Caml-list] OCaml reference manual non-free license
 2018-01-08 16:34 UTC  (10+ messages)

[Caml-list] DCM'18 Second Call for Papers
 2018-01-08 13:37 UTC 

[Caml-list] FSCD 2018 Final Call for Papers (deadline for abstracts: January 15)
 2018-01-08 13:17 UTC 

[Caml-list] Alonzo Church Award - Call for Nominations
 2018-01-05 16:59 UTC 

[Caml-list] FLoC 2018 - Final Joint Call for Papers
 2018-01-05 16:31 UTC 

[Caml-list] The Alonzo Church Award: Call for Nominations
 2018-01-05  1:52 UTC 

[Caml-list] A question about "8.9 First-class modules -> Advanced examples" section of the reference manual
 2018-01-04 16:50 UTC  (6+ messages)
` [Caml-list] A question about "8.9 First-class modules -> Advanced

[Caml-list] KR18 - Call for Tutorial and Workshop Proposals
 2018-01-04 16:20 UTC 

[Caml-list] [ANN] dune_watch, a small tool to relaunch jbuilder build at file system updates
 2018-01-02 12:31 UTC  (3+ messages)

[Caml-list] Blockchains in OCaml
 2017-12-27 22:09 UTC  (6+ messages)

[Caml-list] [ANN] Lwt 3.2.0 – Promises and concurrent programming
 2017-12-24 22:19 UTC 

[Caml-list] stdlib → Queue → iter : implementation question / (possibly) bikeshedding
 2017-12-22 11:55 UTC  (2+ messages)

[Caml-list] LOPSTR 2018: First Call for Papers
 2017-12-22 10:42 UTC 

[Caml-list] 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018)
 2017-12-22  8:21 UTC 

[Caml-list] Call for Papers: PACMPL issue ICFP 2018
 2017-12-21  7:19 UTC 

[Caml-list] mirage-fs-unix
 2017-12-20 13:09 UTC 

[Caml-list] RuleML+RR 2018 - Call for Papers
 2017-12-19 13:29 UTC 

[Caml-list] ANN: wcs-ocaml: chatbots in OCaml
 2017-12-18 20:37 UTC 

[Caml-list] ReasonML concrete syntax
 2017-12-18 17:53 UTC  (16+ 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).