[Caml-list] Save callbacks from OCaml to C
2016-02-03 18:02 UTC (7+ messages)
[Caml-list] [ANN[ Core Suite 113.24.00
2016-02-03 15:23 UTC
[Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions
2016-02-03 10:37 UTC (8+ 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
[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 (8+ 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 (5+ 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)
[Caml-list] polymorphic methods
2015-12-18 10:07 UTC (2+ messages)
[Caml-list] CiE 2016: final CfP EXTENDED DEADLINE
2015-12-17 22:21 UTC
[Caml-list] a question about Merlin
2015-12-17 14:11 UTC (2+ messages)
[Caml-list] IJCAR 2016 2nd cfp
2015-12-16 18:55 UTC
[Caml-list] Prochain meetup OUPS 16 décembre 2015 / Next OUPS meetup, 16th of December 2015
2015-12-16 14:42 UTC (2+ messages)
[Caml-list] [ANN] Batteries 2.4.0
2015-12-16 11:15 UTC
[Caml-list] [ANN] Astring 0.8.0
2015-12-14 18:14 UTC
[Caml-list] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016
2015-12-14 14:08 UTC
[Caml-list] JFLA'16 : appel à participation
2015-12-14 10:36 UTC
[Caml-list] 2nd CfP: COORDINATION 2016
2015-12-14 10:27 UTC
[Caml-list] Runtime variant _pic
2015-12-11 19:12 UTC (2+ messages)
[Caml-list] Do you use a debugger with OCaml? If not, why not?
2015-12-11 18:58 UTC (2+ messages)
[Caml-list] ANN: webmachine.0.3.0
2015-12-11 16:16 UTC
[Caml-list] FLOPS 2016: Call for Participation and Posters/Demos
2015-12-10 9:39 UTC
[Caml-list] [OCAML]:: how to switch buffer in ocamllex?
2015-12-09 10:05 UTC (4+ messages)
[Caml-list] CiE 2016: Pursuit of the Universal - final CfP - Paris, 27/6-1/7/2016
2015-12-09 8:38 UTC
[Caml-list] ocamlbuild wiki is down
2015-12-08 23:10 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).