[Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
2012-06-01 14:04 UTC (3+ messages)
` [Caml-list] CFP: Graph Computation Models (GCM2012)
` [Caml-list] Second "
[Caml-list] GAMES 2012 -- Call for contributions --
2012-06-01 10:46 UTC
Post-Doc position in the CerCo FET-Open EU Project
2012-06-01 2:57 UTC (2+ messages)
` [Caml-list] Post-Doc positions "
[Caml-list] Strange behavior from type inference after functor application
2012-05-31 22:36 UTC (4+ messages)
[Caml-list] Syntax extensions without Camlp4
2012-05-31 22:08 UTC (33+ messages)
` [Caml-list] "
[Caml-list] OCaml 4.00.0 compatibility report
2012-05-31 11:33 UTC
[Caml-list] Can't make ocaml-sqlite3
2012-05-30 23:42 UTC (2+ messages)
[Caml-list] One-value functors
2012-05-30 14:14 UTC (5+ messages)
[Caml-list] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation
2012-05-30 10:09 UTC
[Caml-list] OASIS help: what is the meaning of best in CompiledObject
2012-05-30 6:41 UTC (2+ messages)
[Caml-list] strange error with packed modules and module type of
2012-05-30 2:30 UTC (2+ messages)
[Caml-list] Channels not closed on gc?
2012-05-29 18:58 UTC (12+ messages)
` AW: "
[Caml-list] ML2012: Second Call For Presentations
2012-05-29 16:59 UTC
[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] 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] CICM 2012: Call for participation
2012-05-21 12:56 UTC
[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 (9+ 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)
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).