[Caml-list] ANN: msvs-tools
2016-02-23 13:50 UTC
[Caml-list] Coccinelle and the Dumper module
2016-02-23 13:10 UTC (5+ messages)
[Caml-list] [ANN] bigstring 0.1
2016-02-22 21:25 UTC (10+ messages)
` [Caml-list] Constant-time function
[Caml-list] Second International Workshop on Agile Development of Secure Software (ASSD'16)
2016-02-22 18:22 UTC
[Caml-list] Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)
2016-02-22 15:48 UTC
[Caml-list] CFP: Verification and Validation track @ QUATIC 2016 - First Call for Papers
2016-02-22 8:35 UTC
[Caml-list] WebST 2016: early registration deadline 11 March
2016-02-21 2:15 UTC
[Caml-list] CPS Week 2016 - Call for Participation
2016-02-20 16:22 UTC
[Caml-list] Call for Papers and Demos: Functional Art, Music, Modelling and Design
2016-02-18 16:48 UTC
[Caml-list] 2nd Workshop on Bridging the Gap between Human and Automated Reasoning - Call for Papers
2016-02-17 13:29 UTC
[Caml-list] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016
2016-02-17 8:07 UTC
[Caml-list] [TFPIE 2016] 1st call for papers
2016-02-16 15:32 UTC
[Caml-list] The 8th Coq Workshop - 1st CFP
2016-02-16 13:52 UTC
[Caml-list] CFP : IEEE AROSA WETICE 2016: Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures
2016-02-16 8:20 UTC
[Caml-list] HDRA 2016: Call for Papers
2016-02-15 13:49 UTC
[Caml-list] Decrease in addressable memory on Windows 32-bits between 3.12 and 4.01?
2016-02-15 10:41 UTC (3+ messages)
[Caml-list] LATA 2016: call for participation
2016-02-14 21:36 UTC
[Caml-list] FORTE 2016: further 1 week deadline extension (fwd)
2016-02-12 14:30 UTC
[Caml-list] SFM-16:QUANTICOL second call for participation (Bertinoro, 20-24 June 2016)
2016-02-12 14:04 UTC
[Caml-list] ocaml source files needed
2016-02-12 9:42 UTC (2+ messages)
[Caml-list] [ANN] Bisect_ppx 1.0.0 – Modernized code coverage for OCaml
2016-02-12 9:18 UTC (12+ messages)
[Caml-list] [ANN] Lambda Soup 0.6 + Markup.ml 0.7 – Improved HTML5 processing
2016-02-11 19:04 UTC
[Caml-list] ETAPS 2016 call for participation
2016-02-11 16:32 UTC
[Caml-list] Accessing values calculated by Toploop.execute_phrase
2016-02-11 15:42 UTC (4+ messages)
[Caml-list] [ANN[ Core Suite 113.24.00
2016-02-11 12:02 UTC (2+ messages)
[Caml-list] Prochain meetup OUPS 16 février 2016 / Next OUPS meetup, 16th of February 2016
2016-02-10 23:49 UTC
[Caml-list] ocamlbuild, build a source that starts with _
2016-02-09 15:06 UTC (4+ messages)
[Caml-list] Looking for a windows ocaml UTF-16 encoded filename aware library
2016-02-09 11:10 UTC (5+ messages)
[Caml-list] [ANN] Source code for the OCaml-MOOC exercise environment
2016-02-09 11:07 UTC
[Caml-list] ICFP 2016 Second Call for Papers
2016-02-09 6:09 UTC
[Caml-list] [ANN] Notty 0.1.0
2016-02-09 3:07 UTC
[Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions
2016-02-05 9:36 UTC (10+ messages)
[Caml-list] Save callbacks from OCaml to C
2016-02-04 19:29 UTC (11+ messages)
[Caml-list] is meta-ocaml dead?
2016-02-03 20:34 UTC (3+ messages)
[Caml-list] CFP & SI - AROSA @ IEEE WETICE 2016 : Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures
2016-02-03 9:14 UTC
[Caml-list] CFP - VECoS 2016: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems
2016-02-03 8:20 UTC
[Caml-list] [CC 2016] Call for Participation - Early CGO+CC registration ends Feb 3 - Early CC registration extended until Feb 10
2016-02-03 0:12 UTC
[Caml-list] COORDINATION 2016: 1 week deadline extension
2016-02-02 10:59 UTC
[Caml-list] [TFP 2016] 1st call for papers
2016-02-02 9:29 UTC
[Caml-list] Opportunity with machine learning focused hedge fund
2016-02-01 17:30 UTC
[Caml-list] January 2016 Ocsigen releases
2016-02-01 15:01 UTC
[Caml-list] [ANN] findlib-1.6.1
2016-01-29 16:44 UTC (3+ messages)
` [Caml-list] [ANN] first official release: DAFT Allows File Transfers
[Caml-list] Deadline Extension: FSCD'16
2016-01-29 14:32 UTC
[Caml-list] truncated division, remainder and arithmetics
2016-01-28 19:03 UTC (5+ messages)
[Caml-list] BigDat 2016: registration deadline 5 February
2016-01-27 21:31 UTC
[Caml-list] Opam on Blue-Gene
2016-01-27 15:42 UTC (6+ messages)
[Caml-list] PhD position on formal verification at Université Paris 13 / École Centrale Nantes (France)
2016-01-27 12:57 UTC
[Caml-list] ETAPS 2017 call for satellite events
2016-01-27 12:19 UTC
[Caml-list] NFM 2016 - third call for papers
2016-01-27 6:33 UTC
[Caml-list] [fm-announcements] NFM 2016 - third call for papers
2016-01-27 6:26 UTC
[Caml-list] [JOB] Functional Programming at Jane Street
2016-01-26 21:48 UTC
[Caml-list] 2nd CFP. Int. Conf. Graph Transformation, Vienna July 2016
2016-01-26 12:43 UTC
[Caml-list] How to print copyright headers properly in ppx
2016-01-24 20:04 UTC
[Caml-list] AlCoB 2016: submission deadline extended to February 2
2016-01-23 9:55 UTC
[Caml-list] Call for papers: CSL 2016
2016-01-22 17:54 UTC
[Caml-list] Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
2016-01-22 17:39 UTC
[Caml-list] In the news: Unikernel Systems joins Docker
2016-01-22 14:33 UTC (3+ messages)
[Caml-list] Ackermann Award 2016
2016-01-22 13:06 UTC
[Caml-list] FSCD'16 Final Call for Papers
2016-01-22 5:42 UTC
[Caml-list] omd and math
2016-01-21 22:14 UTC
[Caml-list] Final CfP: COORDINATION 2016
2016-01-20 16:07 UTC
[Caml-list] Data representation of records
2016-01-19 9:07 UTC (2+ messages)
[Caml-list] 1st MirageOS hackathon - 11th-16th March
2016-01-18 22:57 UTC
[Caml-list] GC assumptions ?
2016-01-18 18:58 UTC (3+ messages)
[Caml-list] Referencing a functor type
2016-01-18 16:02 UTC (5+ messages)
[Caml-list] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials
2016-01-15 18:20 UTC
[Caml-list] UNIF 2016 - Call for Papers
2016-01-15 17:27 UTC
[Caml-list] [ANN] Markup.ml - HTML5 and XML parsers with error recovery
2016-01-15 16:51 UTC
[Caml-list] release of OCPWin, and wxOCaml
2016-01-15 11:08 UTC
[Caml-list] Exhaustiveness check and GADTs
2016-01-14 13:34 UTC (2+ messages)
[Caml-list] AiML-2016: 1ST CALL FOR PAPERS
2016-01-13 17:06 UTC
[Caml-list] The OCaml garbage collector, finalisers, and the right way of disposing native pointers in C bindings
2016-01-12 13:06 UTC (4+ messages)
[Caml-list] MSFP 2016: Final Call for Papers
2016-01-12 11:30 UTC
[Caml-list] [ANN] dead_code_analyzer 0.9
2016-01-12 9:57 UTC
[Caml-list] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
2016-01-12 7:17 UTC (2+ messages)
` [Caml-list] [[qest-announce] ] "
[Caml-list] CIL Installation with OPAM failed
2016-01-11 23:20 UTC (3+ messages)
[Caml-list] Problem with OCaml-websocket + TLS
2016-01-11 14:28 UTC
[Caml-list] [ANNOUNCE] otags reloaded 4.02.1 for OCaml 4.02
2016-01-10 20:45 UTC
[Caml-list] caml.inria.fr down Jan 11th 2016
2016-01-10 18:34 UTC
[Caml-list] Best Practices for binding C libraries
2016-01-09 22:25 UTC
[Caml-list] Including a C library statically in an Ocaml library
2016-01-08 15:24 UTC (6+ messages)
[Caml-list] JFLA'16 : 2ème appel à participation
2016-01-08 10:56 UTC
[Caml-list] [ANN] Logs 0.4.2
2016-01-07 22:26 UTC (7+ messages)
[Caml-list] [ANN] Logs 0.5.0
2016-01-07 21:57 UTC
[Caml-list] Coding style: mixing tabs and spaces in indentation
2016-01-05 21:25 UTC (8+ messages)
[Caml-list] ETAPS 2016 satellite workshops joint call for papers
2016-01-05 20:14 UTC
[Caml-list] NFM 2016 - second call for papers
2016-01-05 17:47 UTC
[Caml-list] [fm-announcements] NFM 2016 - second call for papers
2016-01-05 17:28 UTC
[Caml-list] BeSport is hiring (developers, trainees) in Paris
2016-01-05 16:32 UTC
[Caml-list] MSFP 2016: Call for Papers
2016-01-05 14:53 UTC
[Caml-list] Compose Conference Call for Participation [NYC, Feb 4-5]
2016-01-04 19:30 UTC
[Caml-list] OCaml Programmer Needed - Machine Learning Startup
2016-01-04 19:00 UTC
[Caml-list] How to create a local opam repository for offline use?
2016-01-04 16:08 UTC (3+ messages)
[Caml-list] AROSA Track @ WETICE 2016 (Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures)
2016-01-04 0:19 UTC
[Caml-list] js_of_ocaml and <svg>
2016-01-02 21:30 UTC (7+ messages)
[Caml-list]
2015-12-31 20:29 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).