[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] Are record types generative?
2018-01-25 16:24 UTC (15+ 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] ignore in postfix position
2018-01-09 11:49 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 (48+ messages)
[Caml-list] JFLA 2018 : 2ème appel à participation
2017-12-15 12:32 UTC
[Caml-list] Frontiers in Analog CAD (FAC'18) - Call for Papers
2017-12-14 22:03 UTC
[Caml-list] gc overhead
2017-12-11 21:05 UTC (6+ messages)
[Caml-list] iFM 2018 Call For Paper
2017-12-11 11:41 UTC
[Caml-list] CSL 2018 — First Call for Papers
2017-12-10 11:04 UTC
[Caml-list] Call for Participation: BOB 2018 (February 28, Berlin)
2017-12-08 16:31 UTC (2+ messages)
` [Caml-list] Correction: BOB is on Feb 23 [WAS: Call for Participation: BOB 2018 (February 28, Berlin)]
[Caml-list] FSCD 2018 Third Call for Papers
2017-12-08 13:58 UTC
[Caml-list] [ANN] ocamlnet-4.1.5
2017-12-06 20:28 UTC
[Caml-list] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation
2017-12-06 4:55 UTC
[Caml-list] FLoC 2018 - Second Joint Call for Papers
2017-12-05 1:09 UTC
[Caml-list] IJCAR 2018 - Call for Papers
2017-12-04 15:09 UTC
[Caml-list] Pourquoi cette obsession de l’androgynisme. Why this obsession with androgynism
2017-12-03 21:39 UTC
[Caml-list] ANN: opam 2.0.0 beta5
2017-12-01 13:46 UTC
[Caml-list] recursive module definition
2017-11-29 13:19 UTC
[Caml-list] 2nd CfP: FM 2018
2017-11-29 11:47 UTC
[Caml-list] using module with types as record parameter
2017-11-28 18:19 UTC (3+ messages)
[Caml-list] Fwd: [ANN] RISC-V J Extension Working Group
2017-11-28 12:37 UTC
[Caml-list] EPIT 2018 Software Verification Spring School, first CfP
2017-11-28 10:26 UTC
[Caml-list] Problem with Mpfr rounding modes (FFI interface)
2017-11-28 9:16 UTC
[Caml-list] JFLA 2018 : 1er appel à participation
2017-11-27 15:03 UTC
[Caml-list] KR18 - Call for Tutorial and Workshop Proposals
2017-11-27 14:10 UTC
[Caml-list] module and it's types as function parameters
2017-11-24 5:27 UTC (3+ messages)
[Caml-list] What is the right way to configure Tuareg to get the same indentation as in Batteries Included?
2017-11-24 2:20 UTC (4+ messages)
[Caml-list] PEPM 2018 Call for Poster/Demo Abstracts and Participation
2017-11-23 12:05 UTC
[Caml-list] 2 Studentships in Swansea on Formal Modelling, Analysing and Testing of Real Time Systems
2017-11-23 10:18 UTC
[Caml-list] [ANN] BuckleScript 2.1
2017-11-23 7:21 UTC
[Caml-list] Checking support for string concatenation by OCaml
2017-11-22 10:18 UTC (7+ messages)
[Caml-list] [fm-announcements] NFM 2018 - Final Call for Papers
2017-11-21 15:24 UTC
[Caml-list] PhD position in Design and implementation of programming languages for embedded vision systems (with Caml inside)
2017-11-19 18:20 UTC (3+ messages)
[Caml-list] Subtyping (or something like it)
2017-11-17 16:32 UTC (6+ messages)
[Caml-list] fftw3 installation fails with opam 1.2.2 and ocaml 4.06.0
2017-11-17 9:30 UTC (2+ messages)
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