[Caml-list] Doing compiler patch review with a dedicated mailing-list
2014-01-13 13:57 UTC (11+ messages)
[Caml-list] CfP: UNIF 2014
2014-01-13 13:46 UTC
[Caml-list] KICSS 2014: Preliminary Call for Papers
2014-01-12 12:19 UTC
[Caml-list] CiE 2014: Language, Life, Limits - extended deadline
2014-01-11 15:16 UTC
[Caml-list] Can otags process *.m{,i} files that contain macros?
2014-01-11 15:01 UTC
[Caml-list] ocamldebug improvement patches
2014-01-11 14:35 UTC (3+ messages)
[Caml-list] ICSOB 2014: Industry Day - Final Call for Papers
2014-01-11 13:52 UTC
[Caml-list] SSTiC 2014: January 18, 2nd registration deadline
2014-01-11 10:47 UTC
[Caml-list] External dependency solvers for opam
2014-01-10 17:25 UTC
[Caml-list] MEDI 2014: First Call for Papers
2014-01-10 16:01 UTC
[Caml-list] ReactiveML 1.09.02
2014-01-10 13:34 UTC
[Caml-list] SFM-14:ESM first call for participation
2014-01-09 18:56 UTC
[Caml-list] Second CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014)
2014-01-09 15:04 UTC
[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
2014-01-09 10:15 UTC (3+ messages)
` [Caml-list] 1st CFP, Intersection Types and Related Systems 2014
` [Caml-list] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS
[Caml-list] Final call for papers: SynCoP 2014 (ETAPS workshop)
2014-01-09 4:00 UTC
[Caml-list] Concurrent/parallel programming
2014-01-09 2:52 UTC (18+ messages)
` [Caml-list] [ocaml-infra] "
[Caml-list] Bugs found when porting 0install from python to ocaml
2014-01-08 19:29 UTC
[Caml-list] ICFP 2014: Call for papers
2014-01-08 1:39 UTC
[Caml-list] wrapping a string in an in_channel
2014-01-07 21:02 UTC (5+ messages)
[Caml-list] Adding functions to Pervasives
2014-01-07 17:25 UTC (2+ messages)
[Caml-list] Deadline extension: JSC - SCSS special issue
2014-01-07 16:41 UTC
[Caml-list] How to see an OCaml change in a browser
2014-01-07 4:50 UTC (3+ messages)
[Caml-list] [Coq-Club] Compilation of CoQ on Linux
2014-01-06 17:43 UTC
[Caml-list] ocamlnet problem ... "inconsistent assumptions over implementation Netsys"
2014-01-06 17:40 UTC (2+ messages)
[Caml-list] OpenGL {3,4} and OpenGL ES {2,3} bindings, testers welcome
2014-01-06 0:17 UTC
[Caml-list] 1st Call for Papers - TFPIE 2014
2014-01-05 20:50 UTC
[Caml-list] [ANN] Core Suite 109.58.00
2014-01-03 15:42 UTC
[Caml-list] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP
2014-01-03 10:19 UTC
[Caml-list] Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India)
2014-01-02 16:55 UTC
[Caml-list] Libraries exporting external definitions in modules
2014-01-02 10:22 UTC (4+ messages)
[Caml-list] LAST MILE: 17th International Conference on Business Information Systems (BIS 2014)
2013-12-31 10:15 UTC
[Caml-list] SDL2 bindings, testers and feedback welcome
2013-12-30 13:28 UTC (30+ messages)
[Caml-list] [ANN] Lablqt
2013-12-30 8:43 UTC (5+ messages)
[Caml-list] OCaml Labs activities in 2013
2013-12-29 14:55 UTC
[Caml-list] [ANN] final release of OPAM 1.1.0
2013-12-26 20:54 UTC (4+ messages)
[Caml-list] VMCAI 2014 call for participation
2013-12-26 20:04 UTC
[Caml-list] isn't iksprintf missing in the stdlib?
2013-12-26 11:48 UTC (3+ messages)
[Caml-list] signature of a lazy Printf.sprintf-like
2013-12-25 14:38 UTC (2+ messages)
[Caml-list] Trying out the arm64 compiler
2013-12-23 22:03 UTC (7+ messages)
[Caml-list] [ANN] Win-builds 1.3 RC1 - Package manager on/for Windows with cross-compilers
2013-12-23 20:38 UTC (2+ messages)
[Caml-list] Pattern match fall-through for GADTs
2013-12-23 19:25 UTC
[Caml-list] ETAPS 2015 call for satellite events
2013-12-23 15:53 UTC
[Caml-list] Ackermann Award 2014
2013-12-23 13:59 UTC
[Caml-list] Moving ocaml to github (as well)
2013-12-23 6:41 UTC (11+ messages)
[Caml-list] Question about garbage collection and impact on performance
2013-12-22 12:43 UTC (7+ 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] 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] Camlp4 on github
2013-12-19 10:44 UTC
[Caml-list] Core breaks backtraces
2013-12-19 9:07 UTC (5+ messages)
[Caml-list] UTP-2014 Unifying Theories of Programming - call for papers
2013-12-19 3:41 UTC
[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] 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
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).