[Caml-list] OCaml binary formats -- how are they linked?
2013-06-14 9:30 UTC
[Caml-list] Strange type error with recursive modules
2013-06-13 20:22 UTC
[Caml-list] Deadline extension: Functional High-Performance Computing (FHPC 2013)
2013-06-13 19:47 UTC
[Caml-list] SCSS 2013 - Call for Participation
2013-06-13 7:49 UTC
[Caml-list] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
2013-06-12 23:52 UTC
[Caml-list] Call for Papers: Logic Based Program Synthesis and Transformation (LOPSTR'13) in Madrid (deadline extended)
2013-06-12 23:17 UTC
[Caml-list] INAP 2013 - Second Call for Papers
2013-06-12 18:23 UTC
[Caml-list] Use-site variance in OCaml
2013-06-12 2:36 UTC (4+ messages)
[Caml-list] Upgrade of forge.ocamlcore.org and planet.ocamlcore.org, right now!
2013-06-11 23:48 UTC (2+ messages)
` [Caml-list] "
[Caml-list] problems linking with ocamlopt 4.00.1
2013-06-11 15:18 UTC (3+ messages)
[Caml-list] ANN: pareto -- OCaml statistics library
2013-06-11 14:48 UTC
[Caml-list] Final Call for Papers: WorldCIS-2013!
2013-06-11 12:31 UTC
[Caml-list] [ANN] Findlib-1.4
2013-06-11 8:01 UTC
[Caml-list] Book announcement: ALAN TURING - His Work and Impact
2013-06-10 17:36 UTC
[Caml-list] OCaml 2013 - Call for presentations
2013-06-10 13:51 UTC (4+ messages)
` [Caml-list] [Reminder] CFP: OCaml 2013, deadline at the end of the week
` [Caml-list] Deadline extension: OCaml 2013, new deadline on June 18 (anywhere on earth)
[Caml-list] New Book: OCaml from the Very Beginning
2013-06-10 12:57 UTC (6+ messages)
[Caml-list] Final call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)
2013-06-10 7:13 UTC
[Caml-list] EC-TEL 2013: 2nd Call for Demonstrations and Posters for Exhibition
2013-06-09 9:35 UTC
[Caml-list] SLSP 2013: call for participation
2013-06-09 8:56 UTC
[Caml-list] DBPL 2013 - Deadline extended to Friday, June 14th
2013-06-08 9:12 UTC
[Caml-list] OCaml on zLinux
2013-06-07 15:54 UTC (2+ messages)
[Caml-list] [ANN] Core Suite 109.27.00 + core_kernel
2013-06-07 14:04 UTC
[Caml-list] ANN: ocaml-ctypes, a library for calling C functions directly from OCaml
2013-06-07 8:16 UTC (4+ messages)
[Caml-list] Call for Participation CICM 2013 8-12 July 2013, Registration deadline 23rd June 2013
2013-06-07 6:31 UTC
[Caml-list] ML Workshop 2013: Call for Presentations
2013-06-06 21:27 UTC
[Caml-list] OPAM: configuring package
2013-06-06 3:13 UTC (4+ messages)
` [Caml-list] "
[Caml-list] [ANN] Ocamlnet-3.6.4
2013-06-05 23:47 UTC (2+ messages)
` [Caml-list] [ANN] Ocamlnet-3.6.5
[Caml-list] [JOB] post-doc position at MSR-Inria
2013-06-05 10:15 UTC
[Caml-list] Ocaml parser reports strange syntax-error position
2013-06-05 9:52 UTC (2+ messages)
[Caml-list] CfW FLoC 2014
2013-06-05 9:20 UTC
[Caml-list] Warning 28
2013-06-05 7:22 UTC (4+ messages)
[Caml-list] ICOOOLPS2013 Early Registration deadline 5 June 2013
2013-06-05 6:42 UTC
[Caml-list] Setting up OPAM in emacs
2013-06-04 14:55 UTC (4+ messages)
[Caml-list] GADT and locally ADT
2013-06-04 11:50 UTC (5+ messages)
[Caml-list] automatic extaction of the .mli (and a little more) from the .ml
2013-06-04 9:05 UTC (20+ messages)
` [Caml-list] "
[Caml-list] Deepest Lexically Faithful OCaml Syntax Folds
2013-06-03 20:42 UTC (2+ messages)
` [Caml-list] "
[Caml-list] Batteries: a question about Int32.pack, Int32.unpack
2013-06-03 10:47 UTC
[Caml-list] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013
2013-06-03 7:35 UTC
[Caml-list] OCaml's variables
2013-06-03 1:15 UTC (79+ messages)
` Problems to get larger user base ... (Re: [Caml-list] OCaml's variables)
` [Caml-list] Re: Problems to get larger user base
` OPAM binary packages (was Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables))
[Caml-list] Haskell 2013 second call for submissions
2013-06-02 23:33 UTC
[Caml-list] APLAS 2013 second call for papers
2013-06-02 23:22 UTC
[Caml-list] SSTiC 2013: next registration deadline 26 June
2013-06-02 10:01 UTC
[Caml-list] Interfacing with QtQuick 2.0 from Qt5, RFC
2013-06-01 18:16 UTC (4+ messages)
[Caml-list] [Fan Preview]: A modern meta programming system for OCaml
2013-06-01 3:10 UTC
[Caml-list] Call for Papers IFL 2013
2013-05-31 12:02 UTC
[Caml-list] Re: opam packages wrapped inside a spec file
2013-05-30 20:11 UTC (2+ messages)
[Caml-list] 2nd CFP: Functional High-Performance Computing (FHPC 2013)
2013-05-30 12:24 UTC
[Caml-list] Re: ~/.opam design
2013-05-30 8:14 UTC (4+ messages)
[Caml-list] CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
2013-05-28 22:49 UTC
[Caml-list] Recursive fixed polymorphic variants
2013-05-28 21:01 UTC (5+ messages)
[Caml-list] CFP FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013-05-28 21:00 UTC
[Caml-list] RR2013 conference: TRAVEL GRANTS for US students available
2013-05-28 14:47 UTC
[Caml-list] OPAM: installing batteries pa_strings
2013-05-28 5:48 UTC (3+ messages)
[Caml-list] Call for Papers IFL 2013
2013-05-27 9:04 UTC
[Caml-list] French study on security and functional languages
2013-05-27 8:55 UTC (17+ messages)
[Caml-list] OCaml's variables
2013-05-26 11:35 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).