[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
2014-01-06 15:39 UTC (2+ messages)
` [Caml-list] 1st CFP, Intersection Types and Related Systems 2014
[Caml-list] wrapping a string in an in_channel
2014-01-06 10:32 UTC (4+ messages)
[Caml-list] OpenGL {3,4} and OpenGL ES {2,3} bindings, testers welcome
2014-01-06 0:17 UTC
[Caml-list] ocamlnet problem ... "inconsistent assumptions over implementation Netsys"
2014-01-05 23:16 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 (15+ 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
[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
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