caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] [ANN] release of batteries-2.7.0
 2017-08-18  0:28 UTC 

[Caml-list] [ANN] Bisect_ppx 1.3.0 – code coverage for OCaml
 2017-08-17 18:30 UTC 

[Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ
 2017-08-17 13:58 UTC  (2+ messages)

[Caml-list] default fold for visitors
 2017-08-17 12:48 UTC  (2+ messages)

[Caml-list] KR18 - Preliminary Call for Tutorial and Workshop Proposals
 2017-08-13 17:44 UTC 

[Caml-list] Overflow with Spacetime
 2017-08-10 13:17 UTC  (3+ messages)

[Caml-list] Camlp4 install OEM
 2017-08-10 12:46 UTC  (2+ messages)

[Caml-list] PAPP@SAC 2018 Call for Papers - April 9-13, Pau, France
 2017-08-08 15:41 UTC 

[Caml-list] Extended deadline: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
 2017-08-07 18:35 UTC 

[Caml-list] PADL 2018 - 1 month to abstract deadline
 2017-08-06  8:00 UTC 

[Caml-list] [ANN] ocamlnet-4.1.3
 2017-08-05 19:16 UTC 

[Caml-list] SAC-SVT 2018: Call for Papers
 2017-08-04  7:41 UTC 

[Caml-list] Static Analysis Tools team at Facebook hiring
 2017-08-03 16:12 UTC 

[Caml-list] how do you develop multiple dependent projects simultaneously?
 2017-08-03 11:52 UTC  (5+ messages)

[Caml-list] Smart Cities for the 21st Century, Technological Forecasting and Social Change (TSFC, IF: 2.625; deadline: end of Sep 2017)
 2017-08-02 14:48 UTC 

[Caml-list] FSCD 2017 - Call for participation (early registration ends soon)
 2017-08-02 12:10 UTC 

[Caml-list] Float precision in OCaml
 2017-08-02  8:22 UTC  (18+ messages)

[Caml-list] PEPM 2018 Call for Papers
 2017-08-01 23:51 UTC 

[Caml-list] Checking the error message “Invalid_argument("String.sub / Bytes.sub")”
 2017-08-01 14:00 UTC 

[Caml-list] Is anybody still using Caml Light ?
 2017-08-01 11:10 UTC  (2+ messages)

[Caml-list] Jbuilder design and hacking session on September 9th in Oxford, UK
 2017-08-01 10:54 UTC  (2+ messages)
` [Caml-list] Jbuilder design and hacking session

[Caml-list] Loading of dynamic code works with older OCaml versions, but fails with recent versions (>= 4.02.0)
 2017-08-01  9:58 UTC  (3+ messages)

[Caml-list] [CFP] ICDCN 2018 in Varanasi, India - Extended Deadline: July 30, 2017
 2017-07-28 17:28 UTC 

[Caml-list] ICDCN 2018 in Varanasi, India - Extended Deadline: July 30, 2017
 2017-07-28 17:27 UTC 

[Caml-list] A student feedback on OCaml
 2017-07-28 15:47 UTC  (11+ messages)
    ` [Caml-list] Probabilistic Functional Programming

[Caml-list] [ANN] Merlin 3.0.1 with OCaml 4.05 support
 2017-07-28 10:34 UTC 

[Caml-list] TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation
 2017-07-27 19:00 UTC 

[Caml-list] GCAI 2017 in Miami - Deadline extension
 2017-07-27  1:07 UTC  (4+ messages)
` [Caml-list] parany: a minimalistic library to parallelize any kind of computation
  ` [Caml-list] [ANN] first release of cpm: the Classification Performance Metrics library
  ` [Caml-list] new release of parany (1.0.2): a minimalistic OCaml library to parallelize any kind of computation

[Caml-list] Sexplib and js_of_ocaml
 2017-07-26  9:29 UTC  (3+ messages)

[Caml-list] Macro expansion for logging with call site (file & line)
 2017-07-25 21:26 UTC  (2+ messages)

[Caml-list] Development status of the dependency generator for OCaml
 2017-07-25 18:13 UTC  (8+ messages)
          ` [Caml-list] Addition of a data export variant containing only required extensions for build dependency specifications

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

[Caml-list] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
 2017-07-24 16:25 UTC 

[Caml-list] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
 2017-07-24 16:14 UTC 

[Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs
 2017-07-23  9:52 UTC 

[Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs
 2017-07-22  7:27 UTC  (13+ messages)

[Caml-list] Flexlink/MinGW/Ctypes linking problem
 2017-07-21  9:13 UTC  (3+ messages)

[Caml-list] any user feedback/experience with SPOC for programming GPUs in Ocaml?
 2017-07-21  8:12 UTC 

[Caml-list] linking of stublibs with bytecode target
 2017-07-20 14:09 UTC  (2+ messages)

[Caml-list] OCaml 4.05.0 released
 2017-07-19 13:21 UTC  (2+ messages)

[Caml-list] OCamlPro is hiring/recrute on/sur Tezos
 2017-07-19  7:34 UTC 

[Caml-list] Call for Participation: ICFP 2017
 2017-07-18 21:33 UTC 

[Caml-list] Support for symbolic links by compilers for OCaml?
 2017-07-18 18:10 UTC  (2+ messages)

[Caml-list] removal of C compiler variables in in 4.06
 2017-07-18 18:04 UTC  (10+ messages)

[Caml-list] Options -c and -o are incompatible when compiling C files
 2017-07-18 12:22 UTC 

[Caml-list] Ocaml-migrate-parsetree and compiler-libs.Types
 2017-07-18 11:14 UTC 

[Caml-list] OASIS: source_patterns and Eliom
 2017-07-18  5:49 UTC 

[Caml-list] KR 2018 Preliminary Call for Papers
 2017-07-14 21:04 UTC 

[Caml-list] An inconsistency (possibly) in typing constraints with GADT
 2017-07-14  1:00 UTC 

[Caml-list] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
 2017-07-13 20:13 UTC 

[Caml-list] [ANN] Prose v1 - a collaborative text editor
 2017-07-13  6:52 UTC  (7+ messages)

[Caml-list] Call for Participation: Higher-Order Programming with Effects, HOPE 2017
 2017-07-12  8:50 UTC 

[Caml-list] Optimizing pure-functional streams
 2017-07-11 18:55 UTC  (10+ messages)

[Caml-list] FSCD 2017 - Call for participation
 2017-07-11 17:28 UTC 

[Caml-list] OCaml code style and syntax checking
 2017-07-11 13:11 UTC  (6+ messages)

[Caml-list] TAPAS 2017: Call for Abstracts
 2017-07-11 10:48 UTC 

[Caml-list] ML languages hacking session on July 13th in Pittsburgh, PA, USA
 2017-07-10 21:31 UTC 

[Caml-list] DL 2017 - Call for Participation
 2017-07-10 16:45 UTC  (3+ messages)
` [Caml-list] Error When Linking Against SDSL C++ Library

[Caml-list] CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages
 2017-07-09 21:53 UTC 

[Caml-list] ocamlc 4.03 -> 4.04: change in meaning of -i
 2017-07-09 15:00 UTC  (3+ messages)

[Caml-list] opam v2.0.0 pre-release testing on macOS
 2017-07-06 23:49 UTC 

[Caml-list] [Async / Cohttp_async] Problem getting all of the data in a response body
 2017-07-06 17:20 UTC  (5+ messages)

[Caml-list] how to suppress warnings in merlin?
 2017-07-06  8:18 UTC  (3+ messages)

[Caml-list] with oasis, how to create setup.ml.exe ?
 2017-07-06  7:29 UTC  (4+ messages)

[Caml-list] They have different arities
 2017-07-06  5:50 UTC  (3+ messages)

[Caml-list] FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
 2017-07-04  9:23 UTC 

[Caml-list] [CFP] ICDCN 2018 - Distributed Computing and Networking, Jan 4-7, 2018, Varanasi, India (due July 24, 2017)
 2017-07-03 21:31 UTC 

[Caml-list] CADE-26 - Call for Participation
 2017-07-03 12:14 UTC 

[Caml-list] Make the dependency generator for OCaml better usable for out-of-source builds
 2017-07-03 10:52 UTC 

[Caml-list] Deduktionstreffen 2017 - Call for Abstracts
 2017-07-02 12:36 UTC 

[Caml-list] segmentation fault
 2017-07-01 18:37 UTC  (10+ messages)

[Caml-list] FLOPS 2018 First Call for papers
 2017-06-30 19:15 UTC 

[Caml-list] Reading Custom Type
 2017-06-29 15:36 UTC  (2+ messages)

[Caml-list] OCaml version 4.05.0+rc1
 2017-06-29 13:39 UTC 

[Caml-list] [iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017
 2017-06-27  9:46 UTC 

[Caml-list] Camlp5 7.00 compatible with OCaml 4.04.2
 2017-06-26  9:30 UTC 

[Caml-list] Thank You!
 2017-06-25 10:50 UTC  (2+ messages)

[Caml-list] OCaml release 4.04.2
 2017-06-23 21:18 UTC  (3+ 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).