[Caml-list] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)
2013-09-12 13:08 UTC
[Caml-list] OCaml vs Ada and/or GUI options
2013-09-12 12:55 UTC (60+ messages)
` [Caml-list] "
[Caml-list] OCaml release 4.01.0
2013-09-12 11:59 UTC
[Caml-list] Using OCaml from C
2013-09-12 9:51 UTC (10+ messages)
` Fwd: "
[Caml-list] SoSyM Special Issue on Integrated Formal Methods
2013-09-12 6:45 UTC
[Caml-list] Accelerating compilation
2013-09-12 1:23 UTC (36+ messages)
[Caml-list] SynCoP 2014: 1st Call for Papers
2013-09-11 14:45 UTC
[Caml-list] Gmane posting
2013-09-11 8:36 UTC
[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)
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).