[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] OCaml reference manual non-free license
2018-01-06 11:38 UTC (9+ messages)
[Caml-list] Group registration on Freenode.net for #ocaml channels
2018-01-05 21:42 UTC (3+ messages)
[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)
[Caml-list] Announce: Stdcompat, a compatibility module for OCaml standard library
2017-11-16 9:20 UTC
[Caml-list] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science
2017-11-15 9:00 UTC
[Caml-list] FSCD 2018 Second Call for Papers
2017-11-14 16:38 UTC
[Caml-list] Logical Frameworks and Meta-Languages 2018 - Call for Papers
2017-11-14 14:44 UTC
[Caml-list] DCM'18 First Call for Papers
2017-11-14 12:27 UTC
[Caml-list] [Announce] Statistical memory profiling for OCaml
2017-11-13 23:02 UTC
[Caml-list] CfP: SEFM 2018
2017-11-13 16:58 UTC
[Caml-list] Post-doc at Inria Paris to work on the OCaml language and core system
2017-11-13 8:41 UTC
[Caml-list] FLOPS2018: Final CFP + deadline extension
2017-11-11 9:53 UTC
[Caml-list] KR 2018 Call for Papers
2017-11-10 23:28 UTC
[Caml-list] classes not optimized?
2017-11-08 21:42 UTC (2+ messages)
[Caml-list] [ANN] LASCAr - A library for manipulating Labeled Transition Systems
2017-11-07 17:40 UTC
[Caml-list] IJCAR 2018 - Call for Papers
2017-11-06 13:23 UTC
[Caml-list] What if exn was not an open type?
2017-11-05 21:53 UTC (30+ messages)
[Caml-list] [ANN] RISC-V OCaml 4.06
2017-11-04 18:58 UTC (3+ messages)
[Caml-list] [ANN] omake-0.10.3
2017-11-04 16:47 UTC
[Caml-list] OCaml release 4.06.0
2017-11-04 11:11 UTC (2+ messages)
[Caml-list] OCaml 4.06.0+rc1
2017-11-03 10:53 UTC (4+ messages)
` [Caml-list] Upcoming breaking changes in Ocamldoc 4.06
[Caml-list] LablGTK 2.18.6 and LablTk 8.06.3
2017-11-01 23:40 UTC (3+ messages)
[Caml-list] [ANN] Notty 0.2.0
2017-11-01 23:22 UTC
[Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)
2017-10-31 18:23 UTC
[Caml-list] FLoC 2018 - Joint Call for Papers
2017-10-31 10:34 UTC
[Caml-list] Call for Sponsorships: ICFP 2018
2017-10-31 3:15 UTC
[Caml-list] [Compiler] Reworking application of plugin hooks for typedtree
2017-10-30 22:46 UTC
[Caml-list] CAV 2018 - Call for Papers
2017-10-27 19:36 UTC
[Caml-list] Call for Workshop Proposals: ICFP 2018
2017-10-27 1:40 UTC
[Caml-list] Call for Participation: ICFP 2017
2017-10-27 1:37 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).