caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] JFLA 2012
 2012-01-19 17:16 UTC 

[Caml-list] CfP: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
 2012-01-19 13:47 UTC 

[Caml-list] Turing Centenary Conference (CiE 2012) - Final submission arrangements
 2012-01-19 11:29 UTC 

[Caml-list] Where are the OCaml logos?
 2012-01-19  2:08 UTC 

[Caml-list] [ANN] ounit v1.1.1: Unit testing framework
 2012-01-18 21:35 UTC 

[Caml-list] LPAR-18 Short Papers and Workshops
 2012-01-18 16:38 UTC 

[Caml-list] Second CALL FOR PAPERS FM 2012
 2012-01-18 12:24 UTC 

[Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
 2012-01-18  9:01 UTC 

[Caml-list] Building on Windows
 2012-01-17 12:05 UTC 

[Caml-list] OASIS help : adding -pp camlp4of and camlp4.gramlib to the compilation flags
 2012-01-17  9:25 UTC  (4+ messages)
` [Caml-list] "

[Caml-list] writing a very basic plugin system
 2012-01-17  4:09 UTC  (3+ messages)

[Caml-list] inconsistent assumptions over interface [...]
 2012-01-17  1:31 UTC  (4+ messages)

[Caml-list] Netmcore problems
 2012-01-16 17:46 UTC  (3+ messages)

[Caml-list] ICFP 2012 Call for papers
 2012-01-16 15:29 UTC 

[Caml-list] OCaml on Android
 2012-01-16  8:59 UTC  (3+ messages)

[Caml-list] WST 2012: Last Call for Papers and Deadline Extension
 2012-01-15 23:51 UTC 

[Caml-list] SSFLA 2012: 2nd announcement
 2012-01-15 10:24 UTC 

[Caml-list] ocamldoc option with oasis
 2012-01-15  7:51 UTC  (4+ messages)

[Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu
 2012-01-14 15:06 UTC  (12+ messages)

[Caml-list] Hello & F# Applied Research Jobs at MSR Cambridge
 2012-01-14 12:39 UTC 

[Caml-list] web link to the two glmlite patches for OSX
 2012-01-14 10:49 UTC  (3+ messages)

[Caml-list] [ANN] ocamlbrew
 2012-01-14  0:36 UTC  (3+ messages)

[Caml-list] ocamlmklib OSX/OpenGL weirdness
 2012-01-13 21:26 UTC  (3+ messages)

[Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
 2012-01-13 15:40 UTC 

[Caml-list] Call for Workshop proposal - 28th International Conference on Logic Programming (ICLP 2012)
 2012-01-13 14:13 UTC 

[Caml-list] announce: ODT 2.1 released
 2012-01-12 19:04 UTC 

[Caml-list] References and polymorphism
 2012-01-12 10:46 UTC  (19+ messages)
    ` [Caml-list] "

[Caml-list] The OCaml hump and RDF
 2012-01-11 11:06 UTC 

[Caml-list] ​World Congress on Internet Security (WorldCIS-2012): Call for Papers!
 2012-01-11  0:01 UTC 

[Caml-list] SFM-12:MDE in Bertinoro -- first call for participation
 2012-01-10 18:01 UTC 

[Caml-list] Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012
 2012-01-10 16:27 UTC 

[Caml-list] [ANN] OCamlSpotter 1.4.0 for OCaml 3.12.1
 2012-01-10  5:09 UTC 

[Caml-list] Understanding usage by the runtime
 2012-01-09 21:07 UTC  (16+ messages)

[Caml-list] HLPGPU2012: Call for participation Paris 23 January 2012
 2012-01-09 17:17 UTC 

[Caml-list] Call for Workshop proposal - 28th International Conference on Logic Programming (ICLP 2012)
 2012-01-09 16:30 UTC 

[Caml-list] Camlp5 new rel 6.03 -> compat with OCaml trunk
 2012-01-09 15:03 UTC 

[Caml-list] CICM 2012: Second call for papers
 2012-01-09 10:07 UTC 

[Caml-list] Non-toplevel C functions using OCaml values
 2012-01-09  9:23 UTC  (3+ messages)

[Caml-list] [ANN] mlvalues.py
 2012-01-09  8:48 UTC  (2+ messages)

[Caml-list] [Announce] Camomile 0.8.4
 2012-01-08 13:58 UTC 

[Caml-list] Core (and associated libraries) on bitbucket!
 2012-01-06 23:38 UTC  (2+ messages)
` [Caml-list] "

[Caml-list] Examples where let rec is undesirable
 2012-01-06 15:22 UTC  (16+ messages)

[Caml-list] Proposal for extensible open datatypes
 2012-01-06  9:24 UTC  (4+ messages)

[Caml-list] Deadline Extension RTA 2012
 2012-01-06  7:30 UTC 

[Caml-list] CFP: SPCLOUD2012 Madrid July 2012
 2012-01-05 18:27 UTC 

[Caml-list] WSLST 2012: final announcement
 2012-01-05 15:16 UTC 

oasis (was Re: [Caml-list] "Let"-less syntax for coreML)
 2012-01-05  1:03 UTC 

[Caml-list] Hashtbl and security
 2012-01-04 21:52 UTC  (24+ messages)

[Caml-list] "Let"-less syntax for coreML
 2012-01-04 17:12 UTC  (14+ messages)

[Caml-list] Semantic Web Journal: Call for Papers on Big Data: Theory and Practice
 2012-01-04 14:32 UTC 

[Caml-list] "let" and "function" not redundant
 2012-01-04 11:46 UTC 

[Caml-list] try ocaml website
 2012-01-03 22:12 UTC  (8+ messages)

[Caml-list] Will the data allocated by caml_alloc be automatically freed by g arbage collector?
 2012-01-03 18:22 UTC  (3+ messages)

[Caml-list] What type strategy ?
 2011-12-31 16:53 UTC 

[Caml-list] WSMBio 2012: 3rd announcement
 2011-12-31 11:42 UTC 

[Caml-list] working %.pp.ml target with ocamfind/ocamlbuild
 2011-12-31  9:22 UTC  (2+ messages)

[Caml-list] Bless me Father, for I have used Obj.magic
 2011-12-30 11:41 UTC  (5+ messages)

[Caml-list] Final Call For Papers RTA 2012
 2011-12-29 21:55 UTC 

[Caml-list] IJCAR 2012: 2nd Call for Papers
 2011-12-29 17:31 UTC 

[Caml-list] Some simple(?) questions about camlp4 <:quotations< ... >>
 2011-12-28 17:23 UTC  (2+ messages)

[Caml-list] RFC: basename, dirname, PR#4549
 2011-12-28  4:50 UTC  (5+ messages)

[Caml-list] First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France
 2011-12-27 21:33 UTC 

[Caml-list] polymorphism in general
 2011-12-27  7:44 UTC  (3+ messages)

[Caml-list] ​Call for Papers: World Congress on Internet Security (WorldCIS-2012)
 2011-12-27  2:25 UTC 

[Caml-list] REMINDER: Ireland International Conference on Education (IICE-2012): Call for Papers!
 2011-12-25 16:21 UTC 

page:  |  | 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).