[Caml-list]
2016-05-12 15:42 UTC
[Caml-list] [ANN] Batteries 2.5.0, compatible with OCaml 4.03
2016-05-12 14:41 UTC
[Caml-list] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016
2016-05-12 8:22 UTC
[Caml-list] PPX metaquotation question
2016-05-12 7:10 UTC (2+ messages)
[Caml-list] ocaml-top on 4.03.0 ?
2016-05-12 6:31 UTC (2+ messages)
[Caml-list] Simple library to manipulate automata?
2016-05-11 15:38 UTC (4+ messages)
[Caml-list] IDE like PyCharm
2016-05-11 13:55 UTC (19+ messages)
` [Caml-list] IDE like PyCharm - Results
[Caml-list] Call for Participation: ARVI COST Summer School on Runtime Verification 2016
2016-05-11 12:05 UTC
[Caml-list] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems
2016-05-10 13:22 UTC
[Caml-list] EJCP 2016 - Dernier appel à participation
2016-05-10 8:42 UTC
[Caml-list] CIBB 2016 - Second Call for Papers
2016-05-09 16:10 UTC
[Caml-list] Vampire Workshop CFP
2016-05-09 12:47 UTC
[Caml-list] CFP: WADT 2016
2016-05-09 10:29 UTC
[Caml-list] CFP: WADT 2016
2016-05-09 10:26 UTC
[Caml-list] CRV 2016 - The 3rd International Competition on Runtime Verification
2016-05-09 10:17 UTC
[Caml-list] RV 2016, Deadlines Extended - Abstract: May 20, Paper/Tutorial: May 27
2016-05-09 8:33 UTC
[Caml-list] How to handle system decencies in Ocaml (like O_ASYNC not implemented in cygwin)
2016-05-09 7:08 UTC (6+ messages)
[Caml-list] Occasional malformed strings; OCaml -> OpenGL, via tgls/ctypes
2016-05-09 5:32 UTC (5+ messages)
[Caml-list] Menhir grammar with sequences delimited by same token
2016-05-08 21:29 UTC (8+ messages)
[Caml-list] AlCoB 2016: call for posters
2016-05-07 1:07 UTC
[Caml-list] Question on opam mingw32/64 cross for Windows
2016-05-06 9:04 UTC
[Caml-list] NFM 2016 - Call for participation
2016-05-05 13:19 UTC
[Caml-list] [fm-announcements] NFM 2016 - Call for participation
2016-05-05 13:00 UTC
[Caml-list] Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)
2016-05-04 15:39 UTC
[Caml-list] LLVM debug information
2016-05-04 13:18 UTC (5+ messages)
` Aw: "
[Caml-list] [ANN] OCamlbuild 0.9.2
2016-05-04 12:14 UTC
[Caml-list] OCaml release 4.03.0
2016-05-04 11:49 UTC (7+ messages)
[Caml-list] PPDP 2016 - Last Call for Papers
2016-05-04 8:19 UTC
[Caml-list] Obj.out_of_heap_tag, out of minor heap or memory corruption?
2016-05-03 15:59 UTC (10+ messages)
[Caml-list] Programmer Needed - Machine Learning Startup
2016-05-02 21:40 UTC (2+ messages)
[Caml-list] [ANN] opam-cross-ios
2016-05-02 16:24 UTC
[Caml-list] [ANN] ppx_deriving_protobuf 2.4
2016-05-02 16:20 UTC
[Caml-list] opam external solver setting
2016-05-02 16:18 UTC
[Caml-list] [ANN] ppx_import 1.1
2016-05-02 16:17 UTC
[Caml-list] Call for Papers - Special Issue on the "Impact of 5G and Advanced Wireless Technologies on the eHealth Care Services and Applications"
2016-05-02 14:32 UTC
[Caml-list] [TFP'16] call for participation
2016-05-02 6:59 UTC
[Caml-list] [ANN] qtest 2.2, merged with qcheck
2016-05-01 13:35 UTC (3+ messages)
[Caml-list] LOPSTR 2016 Call for Papers
2016-04-30 17:07 UTC
[Caml-list] LOPSTR 2016 Call for Papers
2016-04-30 14:31 UTC
[Caml-list] ISSRE 2016 - Call for Submissions
2016-04-30 10:48 UTC
[Caml-list] Can we implement #load to load dependencies automatically?
2016-04-30 1:54 UTC (4+ messages)
[Caml-list] TPNC 2016: 1st call for papers
2016-04-30 0:48 UTC
[Caml-list] PAAR 2016 - Extended Deadline
2016-04-29 19:09 UTC
[Caml-list] [cve-assign@mitre.org] [oss-security] Re: buffer overflow and information leak in OCaml < 4.03.0
2016-04-29 16:46 UTC
[Caml-list] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
2016-04-29 8:42 UTC
[Caml-list] [ANN] OASIS 0.4.6
2016-04-29 7:48 UTC
[Caml-list] ocaml 4.03 and warning 52 : argument of this constructor should not be matched against a constant pattern
2016-04-28 7:25 UTC (11+ messages)
[Caml-list] parmap package broken in opam switch 4.03.0
2016-04-27 11:24 UTC (5+ messages)
[Caml-list] [Announce] LablTk 8.06.1 and LablGTK 2.18.4
2016-04-27 5:06 UTC
[Caml-list] opam switch 4.03.0: can't install menhir 20140422
2016-04-26 14:24 UTC (5+ messages)
[Caml-list] 1st CFP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering)
2016-04-26 14:19 UTC
[Caml-list] [OASIS help] Run an executable during build with ocamlbuild
2016-04-26 12:34 UTC
[Caml-list] [ANN] Erlang Workshop 2016 - CFP
2016-04-26 9:44 UTC
[Caml-list] SLSP 2016: 3rd call for papers
2016-04-24 17:39 UTC
[Caml-list] ocaml defaut hash ?
2016-04-23 17:22 UTC (4+ messages)
[Caml-list] Question about Optimization
2016-04-22 16:09 UTC (8+ messages)
[Caml-list] Frama-C Day 2016 | invitation
2016-04-22 8:50 UTC
[Caml-list] [logic-programming] Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21
2016-04-21 21:26 UTC
[Caml-list] Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21
2016-04-21 21:08 UTC
[Caml-list] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers
2016-04-19 14:31 UTC
[Caml-list] EJCP 2016 - Appel à participation
2016-04-19 7:16 UTC
[Caml-list] HDRA 2016: Deadline extension
2016-04-18 14:31 UTC
[Caml-list] APLAS 2016 Call for papers
2016-04-18 1:48 UTC
[Caml-list] WebST 2016: early registration deadline 2 May
2016-04-18 0:55 UTC
[Caml-list] Status of Flambda in OCaml 4.03
2016-04-17 15:43 UTC (13+ messages)
[Caml-list] oasis bug with dependencies?
2016-04-15 19:21 UTC (2+ messages)
[Caml-list] [ANN] Core Suite 113.33
2016-04-14 14:02 UTC
[Caml-list] ANN: Initial Release of OCI, a framework for continuous integrations and benchmarks
2016-04-14 12:56 UTC
[Caml-list] variance/injectivity/uniqueness annotations for types
2016-04-14 9:56 UTC (2+ messages)
[Caml-list] Inlined records don't work in toplevel
2016-04-14 7:49 UTC (4+ messages)
[Caml-list] Verification Mentoring Workshop - Travel Scholarships
2016-04-13 19:10 UTC
[Caml-list] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems
2016-04-12 21:15 UTC
[Caml-list] glob-ing dependencies for a custom ocamlbuild rule
2016-04-12 15:33 UTC (5+ messages)
[Caml-list] [TFP 2016] extended deadline, april 25 2016, final call for papers
2016-04-12 7:32 UTC
[Caml-list] Memory leak in ocaml runtime with backtraces+threads?
2016-04-11 12:48 UTC (3+ messages)
[Caml-list] Verification and Validation Track @ QUATIC 2016 -- Deadline Extension
2016-04-11 7:46 UTC
[Caml-list] AlCoB 2016: call for posters
2016-04-09 18:56 UTC
[Caml-list] SR 2016 - Extended Deadline and Last Call for Contributions
2016-04-09 6:09 UTC
[Caml-list] Suboptimal pattern matching specification
2016-04-07 16:36 UTC (2+ messages)
[Caml-list] RFH: can't figure out why my QT5 widget bindings segfault
2016-04-07 7:43 UTC (11+ messages)
[Caml-list] 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 - 2nd call for papers
2016-04-07 7:19 UTC
[Caml-list] GCAI 2016 - CFP
2016-04-06 14:04 UTC
[Caml-list] ANN: ppx_deriving_morphism 0.2
2016-04-06 4:54 UTC
[Caml-list] Fwd: Echec d’installation Ocaml sur un serveur mutualisé chez 1&1 (pas d’accès root)
2016-04-05 15:55 UTC (2+ messages)
[Caml-list] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages *** Deadline for Abstracts Approaching***
2016-04-04 19:20 UTC
[Caml-list] FHPC 2016 Call for papers
2016-04-04 11:20 UTC
[Caml-list] 4.03.0+beta2
2016-04-04 8:00 UTC (7+ messages)
[Caml-list] explicit polymorphic type annotation
2016-04-02 11:40 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).