[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 (8+ 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 (44+ 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
[Caml-list] use cc instead of gcc as default C compiler?
2017-10-25 9:08 UTC (18+ messages)
` [Caml-list] Are there any OCaml bindings to liblinear (a library for large linear classification)?
` [Caml-list] libsvm OCaml bindings and segfaults
[Caml-list] KR18 - Call for Tutorial and Workshop Proposals
2017-10-24 3:06 UTC
[Caml-list] Prochain meetup OUPS 8 novembre 2017 à Facebook - inscription OBLIGATOIRE / Next OUPS meetup Nov 8th, 2017 @ Facebook, you MUST register
2017-10-22 21:02 UTC
[Caml-list] [ANN] OCamlFormat
2017-10-20 16:24 UTC
[Caml-list] beginner question about pattern matching
2017-10-19 14:44 UTC (9+ messages)
[Caml-list] how to get location of a polymorphic variant via compiler libs
2017-10-19 11:01 UTC (2+ messages)
[Caml-list] CfP: Models for Formal Analysis of Real Systems (MARS 2018)
2017-10-19 4:09 UTC
[Caml-list] ocaml.org certificate
2017-10-17 17:12 UTC (2+ messages)
[Caml-list] OCaml 4.06.0+beta2
2017-10-16 17:32 UTC (2+ messages)
` [Caml-list] OCaml's manual 4.06.0+beta2
[Caml-list] JFLA 2018 : dernier appel à communications et extension de deadline
2017-10-16 10:10 UTC
[Caml-list] 2nd Call for Contributions: BOB 2018 - Berlin, Feb 23, 2018
2017-10-16 9:02 UTC
[Caml-list] Interfacing C with OCaml and file descriptors
2017-10-16 6:46 UTC (8+ messages)
[Caml-list] Immutable strings and the "More OCaml" textbook
2017-10-14 18:33 UTC
[Caml-list] En réponse à vos attentes de chauffage haute technologie 5
2017-10-10 13:41 UTC
[Caml-list] JFLA 2018 : second appel à communications
2017-10-09 12:25 UTC
[Caml-list] CFP: ITNG 2018, Apr 16-18, Las Vegas, USA
2017-10-08 18:02 UTC
[Caml-list] choosing which cairo bindings
2017-10-07 12:43 UTC (2+ messages)
[Caml-list] visitors.ppx and ppx_metaquot
2017-10-06 13:15 UTC (3+ messages)
[Caml-list] ETAPS 2018 final joint call for papers
2017-10-04 20:12 UTC
[Caml-list] Translating C++ tree into OCaml ADT
2017-10-04 11:00 UTC
[Caml-list] OCaml 4.06.0+beta1
2017-10-03 10:14 UTC
[Caml-list] An interesting sorting algorithm for list
2017-10-03 1:21 UTC (3+ messages)
[Caml-list] IJCAR 2018 - Call for Papers
2017-10-02 21:07 UTC
[Caml-list] GitHub PR compiler switches now have their own remote
2017-10-02 14:00 UTC
[Caml-list] FLOPS 2018: Second Call for Papers
2017-10-01 6:11 UTC
[Caml-list] PEPM 2018 Final Call for Papers
2017-09-28 4:22 UTC
[Caml-list] Commonsense-2017 - Call for Participation
2017-09-26 20:19 UTC
[Caml-list] Performance penalty for using monad
2017-09-25 9:25 UTC (10+ messages)
[Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)
2017-09-25 7:20 UTC
[Caml-list] problem with generalisation
2017-09-23 21:04 UTC (3+ messages)
[Caml-list] Prochain meetup OUPS 26 septembre 2017 / Next OUPS meetup, Sep 26th 2017
2017-09-19 7:00 UTC
[Caml-list] KR 2018 Doctoral Consortium Call for Papers
2017-09-19 0:47 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).