[Caml-list] SDL2 bindings, testers and feedback welcome
2013-12-22 10:01 UTC (29+ messages)
[Caml-list] Question about garbage collection and impact on performance
2013-12-22 3:04 UTC (13+ messages)
[Caml-list] [ANN] InvarGenT v1.1: GADTs for invariants and postconditions
2013-12-21 20:01 UTC
[Caml-list] AlCoB 2014: 3rd call for papers
2013-12-21 14:56 UTC
[Caml-list] Moving ocaml to github (as well)
2013-12-21 10:00 UTC (2+ messages)
[Caml-list] CfP: Semantics For Big Data. Special issue of the Semantic Web journal
2013-12-21 3:42 UTC
[Caml-list] Natdynlink segfault
2013-12-20 16:56 UTC (2+ messages)
[Caml-list] OCaml 4.00.1 for HP-UX and AIX
2013-12-20 11:18 UTC
[Caml-list] GADT definition
2013-12-19 23:47 UTC (7+ messages)
[Caml-list] [ANN] Lablqt
2013-12-19 16:22 UTC (4+ messages)
[Caml-list] Camlp4 on github
2013-12-19 10:44 UTC
[Caml-list] Core breaks backtraces
2013-12-19 9:07 UTC (5+ messages)
[Caml-list] [ANN] OASIS v0.4.1
2013-12-19 1:43 UTC
[Caml-list] Call for papers: SynCoP 2014 (ETAPS workshop)
2013-12-18 8:35 UTC
[Caml-list] [CFP-Deadline extended] F-IDE 2014
2013-12-18 8:10 UTC
[Caml-list] [ANN] final release of OPAM 1.1.0
2013-12-17 22:35 UTC (2+ messages)
[Caml-list] caml_alloc_final() user data size - error in doc?
2013-12-17 16:19 UTC
[Caml-list] Ackermann award 2014
2013-12-17 10:26 UTC
[Caml-list] FORTE 2014 Call for Papers
2013-12-16 13:47 UTC
[Caml-list] 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014
2013-12-15 23:13 UTC
[Caml-list] MEDI 2014: Preliminary Call for Papers
2013-12-15 9:07 UTC
[Caml-list] SSTiC 2014: December 21st, 1st registration deadline
2013-12-14 15:53 UTC
[Caml-list] Final CFP: 17th International Conference on Business Information Systems (BIS 2014)
2013-12-14 12:02 UTC
[Caml-list] Deadline extended: FLOPS 2014 call for papers
2013-12-14 10:21 UTC (2+ messages)
[Caml-list] [ANN] cryptodbm.0.8: key-value database with encryption
2013-12-13 15:45 UTC
[Caml-list] Call for Papers: FormaliSE 2014
2013-12-13 14:02 UTC
[Caml-list] A way to avoid "WARNING: myocamlbuild.cmi occurs in several directories"?
2013-12-13 3:34 UTC (5+ messages)
[Caml-list] [ANN] OASIS v0.4.0
2013-12-13 2:23 UTC
[Caml-list] DICE 2014: Second Call for Contributions
2013-12-12 16:40 UTC
[Caml-list] Symbolizer for caml-inspect
2013-12-12 6:59 UTC
[Caml-list] [ANN] InvarGenT: GADTs-based invariant/postcondition generation
2013-12-11 22:37 UTC (2+ messages)
[Caml-list] Dead code detection
2013-12-11 21:18 UTC (6+ messages)
[Caml-list] ocamlbuild plugins and external libraries
2013-12-11 20:27 UTC (3+ messages)
[Caml-list] Mismatch between Gc.full_major() documentation and behaviour
2013-12-11 13:01 UTC (2+ messages)
[Caml-list] PADL 2014: Call for Participation
2013-12-10 23:01 UTC
[Caml-list] Polymorphic recursion and GADTs
2013-12-10 22:55 UTC (11+ messages)
[Caml-list] Library installation procedure (for use with OPAM)?
2013-12-10 16:49 UTC (16+ messages)
` [Caml-list] [ANN] opam-installer (beta) (was Re: Library installation procedure (for use with OPAM)?)
[Caml-list] Confusing behaviour of type inference for polymorphic classes
2013-12-09 13:48 UTC (12+ messages)
[Caml-list] JFLA14 - Dernier appel à participation
2013-12-09 11:24 UTC
[Caml-list] Call for Industry Track Papers, FM 2014, May 2014, Singapore
2013-12-09 9:38 UTC
[Caml-list] FLOPS 2014 Final CFP (Reminder)
2013-12-09 5:45 UTC
[Caml-list] Wojciech Meyer
2013-12-08 2:36 UTC (4+ messages)
[Caml-list] ICSOB 2014: Industry Day - Call for Papers
2013-12-07 13:30 UTC
[Caml-list] ICSOB 2014: Second CFP and workshop proposals
2013-12-06 12:46 UTC
[Caml-list] Looking for some "junior" OCaml dev opportunity
2013-12-06 5:15 UTC
[Caml-list] PLMW: Mentoring at POPL. Second Call for Participation
2013-12-04 8:46 UTC
[Caml-list] Licensing Camel and related Projects Under a Permissive License
2013-12-04 6:14 UTC (2+ messages)
[Caml-list] [ANN] Js_of_ocaml 1.4
2013-12-03 13:00 UTC
[Caml-list] [TFP 2014] 1st Call For Papers
2013-12-03 10:28 UTC
[Caml-list] Main program in C - a script
2013-12-03 6:03 UTC (3+ messages)
[Caml-list] Extracting exception details (Async, Cohttp, Exn)
2013-12-02 15:14 UTC (4+ messages)
[Caml-list] phd and research fellow posts available
2013-12-02 13:21 UTC
[Caml-list] AI4FM 2014: Call for Short Contributions
2013-12-02 10:21 UTC
[Caml-list] Second CFP: 17th International Conference on Business Information Systems (BIS 2014)
2013-11-30 11:44 UTC
[Caml-list] [batteries] ... how to create (format) directives that do not take any arguments?
2013-11-30 3:15 UTC (10+ messages)
` [Caml-list] [batteries] ... how to create (format) directives
[Caml-list] SLATE 2014 - Symposium on Languages, Applications and Technologies - Call for Papers
2013-11-29 17:27 UTC
[Caml-list] extlib 1.6.0 released
2013-11-29 8:22 UTC (7+ messages)
[Caml-list] Call for Industry Track Papers: Formal Methods 2014 (FM 2014)
2013-11-28 18:02 UTC
[Caml-list] ANN: improved BER MetaOCaml N101, for OCaml 4.01
2013-11-28 11:15 UTC (5+ messages)
[Caml-list] BIS 2014: Last Call for Workshop and Event Proposals
2013-11-28 8:33 UTC
[Caml-list] [ANN] pfff 0.25, tools and APIs for program analysis of PHP/Java/JS/C/ML/PHP/
2013-11-27 1:16 UTC
[Caml-list] Ocaml crash in windows due to running out of memory
2013-11-26 9:24 UTC (9+ messages)
[Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
2013-11-25 22:09 UTC
[Caml-list] [fm-announcements] 1st Intl. Competition of Software for Runtime Verification: call for participation
2013-11-25 21:23 UTC
[Caml-list] plain sigsegv on osx 10.8 / opam 1.0.0 / ocaml 4.01.0
2013-11-25 21:07 UTC (3+ messages)
[Caml-list] 1st Intl. Competition of Software for Runtime Verification: call for participation
2013-11-25 20:37 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