[Caml-list] IEEE HLDVT 2012: Call for Papers
2012-05-29 11:07 UTC
[Caml-list] POPL 2013: Call for papers
2012-05-29 8:24 UTC
[Caml-list] OASIS help: custom target
2012-05-29 4:15 UTC (3+ messages)
[Caml-list] Syntax extensions without Camlp4
2012-05-28 15:52 UTC (12+ messages)
` [Caml-list] "
[Caml-list] LOLA 2012: Call for Participation (early registration by May 31)
2012-05-28 15:25 UTC
[Caml-list] OASIS help: passing the -classic-display option to ocamlbuild
2012-05-28 11:16 UTC (2+ messages)
[Caml-list] IJCAR 2012 Call for Participation
2012-05-28 10:50 UTC
[Caml-list] odb.ml mailing list
2012-05-28 10:21 UTC (2+ messages)
[Caml-list] Anyone using Benedikt Meurer's new ARM code generator?
2012-05-25 9:01 UTC (12+ messages)
` [Caml-list] "
` [Caml-list] segfault in camomile / gen_mappings.ml (was: Re: Anyone using Benedikt Meurer's new ARM code generator?)
` [Caml-list] "
[Caml-list] Tuareg-mode and pipes |
2012-05-25 6:13 UTC (9+ messages)
` [Caml-list] "
` [Caml-list] Re: [Announce] New release of tuareg mode
[Caml-list] A weird typing error
2012-05-25 5:47 UTC (3+ messages)
[Caml-list] Commercial Users of Functional Programming 2012: Call for Presentations
2012-05-24 19:06 UTC
[Caml-list] Fw: ICSSEA 2012 : Call for Papers : Software and Systems Engineering and their Applications - Paris, October 23-25, 2012
2012-05-22 6:34 UTC
[Caml-list] Channels not closed on gc?
2012-05-21 14:48 UTC (6+ messages)
` AW: "
[Caml-list] CICM 2012: Call for participation
2012-05-21 12:56 UTC
[Caml-list] One-value functors
2012-05-21 9:25 UTC (4+ messages)
[Caml-list] OCaml 3.00 compatibility
2012-05-21 7:15 UTC (2+ messages)
[Caml-list] Any tool for unit tests as comments in OCaml source?
2012-05-21 6:11 UTC (10+ messages)
` [Caml-list] Any library for reading/writing compressed files?
[Caml-list] [ANN] extunix 0.0.4, ocaml-mysql 1.1.1 and some more
2012-05-19 21:30 UTC
[Caml-list] [CFP] Deadline Extension WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics
2012-05-19 15:32 UTC
[Caml-list] FSFLA 2012: 1st announcement
2012-05-18 21:09 UTC
[Caml-list] optional functions in modules
2012-05-18 20:05 UTC (10+ messages)
[Caml-list] email server
2012-05-18 18:36 UTC
[Caml-list] Final CfP: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
2012-05-18 2:25 UTC
[Caml-list] OASIS help : odb.ml oasis fails
2012-05-17 10:24 UTC (3+ messages)
[Caml-list] OCaml's repository (was: Anyone using Benedikt Meurer's new ARM code generator?)
2012-05-17 10:18 UTC
[Caml-list] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals
2012-05-16 19:03 UTC
[Caml-list] Conflict between .../caml/config.h and Cocoa Security.framework
2012-05-16 18:35 UTC
[Caml-list] [fm-announcements] NASA/NIA PVS Class 2012
2012-05-15 17:35 UTC
[Caml-list] ask for help : how to increase coding efficiency of fun as below
2012-05-15 4:56 UTC (2+ messages)
` [Caml-list] "
[Caml-list] [ANN]: 108.00-pre2 pre-release of Core suite
2012-05-15 1:43 UTC
[Caml-list] OCaml Users and Developers (OUD)
2012-05-14 8:42 UTC
[Caml-list] Call for Speakers - FP Days 2012 Cambridge UK October 25-26
2012-05-13 16:02 UTC
[Caml-list] [ANN] Barista 2.0-alpha3
2012-05-13 10:19 UTC
[Caml-list] some camlp4 documentations
2012-05-12 16:21 UTC
[Caml-list] camlp4 and generating class definitions
2012-05-12 2:08 UTC (3+ messages)
[Caml-list] ocamlbuild + Coq
2012-05-11 10:22 UTC (3+ messages)
` [Caml-list] "
[Caml-list] [fm-announcements] Call For Papers: RV 2012
2012-05-10 17:07 UTC
[Caml-list] FHPC2012, Copenhague 2012
2012-05-10 15:37 UTC
[Caml-list] Call for papers GandALF 2012 -- EXTENDED DEADLINE
2012-05-10 14:29 UTC
[Caml-list] FINAL CFP: TFPIE 2012
2012-05-10 7:48 UTC
[Caml-list] Setting up donations for OASIS and odb.ml
2012-05-10 1:42 UTC (6+ messages)
` [Caml-list] "
[Caml-list] lag when using typerex
2012-05-09 20:20 UTC (11+ messages)
[Caml-list] TPNC 2012: last submission deadline extension
2012-05-09 17:39 UTC
[Caml-list] TypeRex: indenting let open Mod in
2012-05-08 22:01 UTC (2+ messages)
[Caml-list] Implementation for a (nearly) typesafe shallow option type and a compiler bug?
2012-05-08 18:52 UTC (5+ messages)
[Caml-list] caching results of caml_named_value
2012-05-08 16:53 UTC (2+ messages)
` [Caml-list] "
[Caml-list] reuse of abstract types
2012-05-08 9:53 UTC (3+ messages)
[Caml-list] reuse of abstract type
2012-05-08 8:16 UTC
[Caml-list] A shallow option type
2012-05-08 0:07 UTC (16+ messages)
[Caml-list] extending user-defined polymorphic variant types
2012-05-07 20:17 UTC (5+ messages)
[Caml-list] [ANN] findlib-1.3.0
2012-05-07 13:17 UTC (4+ messages)
[Caml-list] How do I declare a value of 'a t instead of '_a t in a module?
2012-05-06 10:58 UTC (4+ messages)
[Caml-list] SSLST 2012: 2nd announcement
2012-05-06 8:00 UTC
[Caml-list] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations
2012-05-06 0:08 UTC
[Caml-list] [ANN] Uutf 0.9.0 and Jsonm 0.9.0
2012-05-05 14:48 UTC
[Caml-list] using modules to wrap c++ classes
2012-05-05 14:11 UTC (11+ messages)
[Caml-list] debugging c wrappers
2012-05-05 12:16 UTC (3+ messages)
[Caml-list] IJCAR 2012 Participation and Travel Awards
2012-05-04 16:17 UTC
[Caml-list] AISec 2012: Call for Papers
2012-05-03 19:24 UTC
[Caml-list] Summer School on Functional Programming for Parallel and Concurrent Applications
2012-05-03 9:54 UTC
[Caml-list] Exception values may crash GC when interfacing C and Caml
2012-05-03 9:21 UTC (5+ messages)
[Caml-list] oasis and c++
2012-05-02 20:41 UTC (2+ messages)
` [Caml-list] "
[Caml-list] generating llvm code that talks to ocaml
2012-05-01 16:54 UTC
[Caml-list] bundling the ocaml compiler with an algorithmic trading platform
2012-05-01 16:02 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).