[Caml-list] PEPM 2018 Call for Papers
2017-08-01 23:51 UTC
[Caml-list] Float precision in OCaml
2017-08-01 18:05 UTC (15+ messages)
[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] how do you develop multiple dependent projects simultaneously?
2017-08-01 9:19 UTC (4+ 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 (16+ 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 (7+ messages)
[Caml-list] Matching exceptions in C code
2017-06-21 16:06 UTC (4+ messages)
[Caml-list] [CFP] UNIF 2017 -- deadline extension
2017-06-21 8:04 UTC
[Caml-list] [ANN] {Uucd,Uucp,Uunf,Uuseg} 10.0.0
2017-06-20 23:10 UTC
[Caml-list] Specification of the choose function on sets
2017-06-20 16:52 UTC (3+ messages)
[Caml-list] GCAI 2017 in Miami - Call for Papers
2017-06-20 12:18 UTC
[Caml-list] module equality
2017-06-20 10:05 UTC (3+ 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;
as well as URLs for NNTP newsgroup(s).