[Caml-list] OCaml vs Ada and/or GUI options
2013-09-11 22:03 UTC (47+ messages)
` [Caml-list] "
[Caml-list] SynCoP 2014: 1st Call for Papers
2013-09-11 14:45 UTC
[Caml-list] Accelerating compilation
2013-09-11 13:46 UTC (35+ messages)
[Caml-list] Gmane posting
2013-09-11 8:36 UTC
[Caml-list] Using OCaml from C
2013-09-10 17:27 UTC (9+ messages)
` Fwd: "
[Caml-list] ReactiveML 1.09.01
2013-09-10 12:26 UTC
[Caml-list] APLAS 2013 - Call for Posters and Demos
2013-09-10 3:30 UTC
[Caml-list] IDE
2013-09-09 16:52 UTC (8+ messages)
[Caml-list] HOPE 2013 Last Call for Participation (with Workshop Program)
2013-09-09 15:20 UTC
[Caml-list] ocamlfind and ocaml*.opt tools
2013-09-09 14:23 UTC (4+ messages)
[Caml-list] TPNC 2013: call for posters
2013-09-07 14:56 UTC
[Caml-list] [ANN] Uutf 0.9.3 & Xmlm 1.2.0
2013-09-07 14:16 UTC (4+ messages)
[Caml-list] OCamlPro Highlights, August 2013
2013-09-06 20:36 UTC
[Caml-list] OCaml 4.01.0+rc2
2013-09-06 15:27 UTC
[Caml-list] ETAPS 2014 2nd call for papers
2013-09-06 15:07 UTC
[Caml-list] Oberwolfach Seminar on Mathematics for Scientific Programming
2013-09-06 9:36 UTC
[Caml-list] an OCaml program profile
2013-09-06 9:26 UTC (5+ messages)
[Caml-list] Construct a list of records from several lists
2013-09-05 17:30 UTC (4+ messages)
[Caml-list] Stability of order between polymorphic variants
2013-09-05 14:46 UTC (10+ messages)
[Caml-list] Final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
2013-09-04 21:25 UTC
[Caml-list] Pippo: a pretty interesting pre-processor that uses OCaml
2013-09-03 19:21 UTC (3+ messages)
[Caml-list] Call for FLoc14/ICLP Workshop proposals
2013-09-03 18:13 UTC
[Caml-list] Literate (sort-of) programming in OCaml
2013-09-03 14:34 UTC (13+ messages)
[Caml-list] PADL 2014 - Call for papers (Deadline: September 6, 2013)
2013-09-03 2:47 UTC
[Caml-list] OCaml 4.01.0 RC1
2013-09-02 16:12 UTC (2+ messages)
[Caml-list] Coq-related postdoc position at Inria-Saclay
2013-09-02 11:30 UTC
[Caml-list] [ANN] Ocamlnet-3.7.3
2013-08-30 19:26 UTC
[Caml-list] Call for Participation FMICS 2013
2013-08-30 13:41 UTC
[Caml-list] How to explain static typing to other people?
2013-08-29 16:00 UTC (6+ messages)
[Caml-list] PhD/Postdoc in programming models for heterogeneous infrastructures
2013-08-28 0:10 UTC
[Caml-list] Building a mixed C / OCaml static library to be used from C
2013-08-27 13:12 UTC (3+ messages)
[Caml-list] ANN: should.ml, literate assertions for OCaml
2013-08-27 9:43 UTC (3+ messages)
[Caml-list] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement
2013-08-26 14:51 UTC
[Caml-list] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement
2013-08-26 11:08 UTC
[Caml-list] Cannot find graphics.cma
2013-08-26 5:48 UTC (3+ messages)
[Caml-list] Installing Tuareg mode
2013-08-24 17:05 UTC (3+ messages)
[Caml-list] Callback.register equivalent before runtime is initialized?
2013-08-23 20:39 UTC (3+ messages)
` [Caml-list] Callback.register equivalent before runtime is
[Caml-list] AVOCS 2013 Call for Participation, September 11-13, University of Surrey
2013-08-23 13:33 UTC
[Caml-list]
2013-08-23 12:56 UTC (2+ messages)
[Caml-list] Setting up OcaIDE
2013-08-22 20:19 UTC (14+ messages)
[Caml-list] Second call for papers for PEPM 2014
2013-08-22 17:25 UTC
[Caml-list] external function with arity > 5 and "noalloc"
2013-08-22 8:44 UTC (2+ messages)
[Caml-list] [fm-announcements] ICFEM 2013 Call for Participation
2013-08-22 7:32 UTC
[Caml-list] [OPAM] moving OCamlPro/opam-repository to CC0
2013-08-21 14:58 UTC (2+ messages)
` [Caml-list] "
[Caml-list] ANN: CamlPDF 1.7
2013-08-21 12:01 UTC (2+ messages)
[Caml-list] Obj.magic, Toploop, HOL Light & pretty-printing exceptions
2013-08-21 3:30 UTC (5+ messages)
[Caml-list] String.(r)index_from
2013-08-21 0:42 UTC (4+ 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).