caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] ocaml source files needed
 2016-02-11 11:24 UTC 

[Caml-list] [ANN] Bisect_ppx 1.0.0 – Modernized code coverage for OCaml
 2016-02-11 10:42 UTC  (10+ 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] [ANN[ Core Suite 113.24.00
 2016-02-03 15:23 UTC 

[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 

[Caml-list] AlCoB 2016: 3rd call for papers
 2015-12-31 17:41 UTC 

[Caml-list] [ANN] amqp-client 0.9.0
 2015-12-29 10:59 UTC 

[Caml-list] BigDat 2016: early registration deadline 8 January
 2015-12-28  8:01 UTC 

[Caml-list] CFP for 2016 Third International Conference on Digital Security and Forensics in Malaysia
 2015-12-26 18:32 UTC 

[Caml-list] WebST 2016: early registration deadline 19 January
 2015-12-25 22:54 UTC 

[Caml-list] [ANN] Ptime 0.8.0
 2015-12-24 22:44 UTC 

[Caml-list] Downloadable list archives?
 2015-12-24 17:43 UTC  (2+ messages)

[Caml-list] ocamldoc lexer: why tracking line_number and char_number explicitly?
 2015-12-24  4:52 UTC  (3+ messages)

[Caml-list] what is the application of class ref?
 2015-12-23  3:57 UTC  (2+ messages)

[Caml-list] if the initializer of a base class can be inherited to subclass?
 2015-12-22 18:50 UTC  (2+ messages)

[Caml-list] Invoking Java programs from an OCaml program
 2015-12-21  8:53 UTC  (7+ messages)

[Caml-list] OCamldoc plugins & ocamlbuild
 2015-12-20 15:33 UTC  (5+ messages)

[Caml-list] Call for Participation: BOB 2016 (February 19, Berlin)
 2015-12-20 15:18 UTC 

[Caml-list] Is OCaml for experienced beginners?
 2015-12-20 13:55 UTC  (5+ messages)

[Caml-list] LablGtk2-Ocaml-Tutorial (SooHyoung Oh) now on github
 2015-12-19 22:53 UTC  (11+ messages)

[Caml-list] ocaml cross-compilation environment
 2015-12-18 21:40 UTC 

[Caml-list] ANN: ocaml-session
 2015-12-18 16:52 UTC  (4+ messages)

[Caml-list] Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
 2015-12-18 13:23 UTC 

[Caml-list] Just how slow are classes?
 2015-12-18 11:19 UTC  (4+ 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).