caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] camlzip added to AUR (Arch-Linux)
 2015-11-07 19:48 UTC  (3+ messages)

[Caml-list] [ANN] ocaml-amqp 0.0.1
 2015-11-07 18:45 UTC  (3+ messages)

[Caml-list] BigDat 2016: early registration deadline 15 November
 2015-11-07 15:11 UTC 

[Caml-list] Do we have a B-tree implementation in ocaml?
 2015-11-06 21:04 UTC  (3+ messages)

[Caml-list] SLSP 2015: call for participation
 2015-11-06 17:01 UTC 

[Caml-list] Newbie comment on constructor syntax
 2015-11-06 15:21 UTC  (12+ messages)

[Caml-list] LPAR-20 in Fiji - Register now
 2015-11-06 12:59 UTC 

[Caml-list] Expansion of type-constructors in ctype.ml
 2015-11-05 11:29 UTC  (3+ messages)

[Caml-list] substituting recursive types inside a signature
 2015-11-05  3:24 UTC  (4+ messages)

[Caml-list] Are refs volatile?
 2015-11-04 15:56 UTC  (5+ messages)

[Caml-list] CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*
 2015-11-03 19:23 UTC 

[Caml-list] ppx replacement for pa_macro?
 2015-11-02 21:11 UTC 

[Caml-list] OCaml Programmer Wanted - Machine Learning Group
 2015-11-02 20:47 UTC 

[Caml-list] 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
 2015-11-02 15:39 UTC 

[Caml-list] TPNC 2015: posters deadline 8 November
 2015-10-31 15:57 UTC 

[Caml-list] New release of Menhir (20151030)
 2015-10-30 19:58 UTC 

[Caml-list] Prochain meetup OUPS 10 novembre 2015 / Next OUPS meetup, 10th of November 2015
 2015-10-30 17:33 UTC 

[Caml-list] [ANN] Merlin 2.3
 2015-10-29 20:59 UTC 

[Caml-list] CiE 2016: Pursuit of the Universal - 1st CfP - Paris, 27/6-1/7/2016
 2015-10-28 21:51 UTC 

[Caml-list] WRLA 2016: 1st Call for Papers
 2015-10-28 15:49 UTC 

[Caml-list] flexdll issue with lablgtk
 2015-10-27 10:06 UTC  (5+ messages)

[Caml-list] Is this the right place to discuss camlp5?
 2015-10-26 23:50 UTC  (9+ messages)
        ` [Caml-list] campp{4,5} and ppx

[Caml-list] Effect of Windows LLP64 architecture on 64 bit MingW OCaml
 2015-10-26 19:04 UTC  (11+ messages)

[Caml-list] CFP for BigData2016 - International Conference in Tukey
 2015-10-26 18:44 UTC 

[Caml-list] [ANN] Uroboros 0.1
 2015-10-26 17:05 UTC  (13+ messages)

[Caml-list] OCaml core on Github
 2015-10-26 14:07 UTC 

[Caml-list] Why is the parameter of a type declaration a coretype?
 2015-10-26 13:33 UTC  (2+ messages)

[Caml-list] flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries?
 2015-10-26 12:46 UTC  (10+ messages)

[Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf
 2015-10-26  8:57 UTC  (6+ messages)

[Caml-list] Pijul 0.1
 2015-10-26  5:19 UTC  (3+ messages)

[Caml-list] CfP: Reliability, safety and security of railway systems - Int. Conference
 2015-10-25 20:55 UTC 

[Caml-list] [ANN] findlib-1.5.6
 2015-10-25 12:53 UTC 

[Caml-list] Effect of Windows LLP64 architecture on 64 bit MingW OCaml
 2015-10-24 10:49 UTC 

[Caml-list] ICFP 2016 Call for Workshop and Co-located Event Proposals
 2015-10-23 23:31 UTC 

[Caml-list] JFLA 2016 : dates limites étendues
 2015-10-23 15:10 UTC 

[Caml-list] BER metaocaml
 2015-10-23 13:45 UTC  (4+ messages)

[Caml-list] "map"-ing parameterized class types
 2015-10-23  6:48 UTC  (6+ messages)

[Caml-list] CFP for DIPDMWC2015 - International Conference in Dubai
 2015-10-22 16:53 UTC 

[Caml-list] profiling on os x
 2015-10-22 14:16 UTC 

[Caml-list] CfP: COORDINATION 2016
 2015-10-22  9:26 UTC 

[Caml-list] ANN: dispatch 0.2.0 with js_of_ocaml support
 2015-10-22  5:39 UTC 

[Caml-list] [ICGT2016] CFP: Int.Conf. Graph Transformation, Vienna, July 2016
 2015-10-19 13:42 UTC 

[Caml-list] Is there any numpy / pandas like library in OCaml?
 2015-10-19 11:34 UTC  (6+ messages)

[Caml-list] JFLA 2016 : deuxième appel à communications
 2015-10-19 11:26 UTC 

[Caml-list] releasing and publishing an OCaml program
 2015-10-19  8:50 UTC  (6+ messages)

[Caml-list] ocamlbuild add unexpected directories to including-dirs while building multi-targets
 2015-10-18 11:12 UTC  (5+ messages)

[Caml-list] LATA 2016: submission deadline extended
 2015-10-16 19:30 UTC 

[Caml-list] Probabilistic Finite State Machine
 2015-10-16  5:04 UTC 

[Caml-list] LPAR-20 in Fiji - Registration is open
 2015-10-15 14:54 UTC 

[Caml-list] ANN: ocaml-dispatch
 2015-10-14 20:55 UTC 

[Caml-list] Application crashing when build with cross-compiler
 2015-10-14 20:10 UTC  (5+ messages)
  ` [Caml-list] <DKIM> "

[Caml-list] Automated Instrumentation for Profiling
 2015-10-14  8:33 UTC  (6+ messages)

[Caml-list] How to use GADTs across modules in OCaml without raising warnings?
 2015-10-14  2:13 UTC  (7+ messages)

[Caml-list] An
 2015-10-13 20:38 UTC 

[Caml-list] Broken 32 bit cross-compiler on 64bit host
 2015-10-13 16:22 UTC  (5+ messages)

[Caml-list] First Call for Papers: CAV 2016, July 17-23, 2016, Toronto, Ontario, Canada
 2015-10-13 14:38 UTC 

[Caml-list] detecting 32/64 bit from C
 2015-10-13 14:19 UTC  (4+ messages)

[Caml-list] Strange Gadt error
 2015-10-13  1:41 UTC  (4+ messages)

[Caml-list] Research Engineer permanent position opened at Mitsubishi Electric R&D Centre Europe, Rennes, France
 2015-10-12  6:51 UTC 

[Caml-list] [ANN] Cmdliner 0.9.8
 2015-10-11 21:05 UTC 

[Caml-list] pipe input short syntax idea
 2015-10-11  8:36 UTC  (8+ messages)

[Caml-list] Oasis: install additional files with ocamlfind
 2015-10-11  1:35 UTC  (3+ messages)

[Caml-list] Boot the OCaml system on a bare raspberry pi
 2015-10-10 18:19 UTC 

[Caml-list] Terser ppx syntax for common usage (like monads)
 2015-10-10 17:32 UTC  (4+ messages)

[Caml-list] BigDat 2016: early registration deadline 19 October
 2015-10-09 18:18 UTC 

[Caml-list] OCaml projects with tests
 2015-10-09 12:37 UTC  (3+ messages)

[Caml-list] [PATCH 0/2] use preprocessor to get infos about target arch
 2015-10-09 12:31 UTC  (5+ messages)
` [Caml-list] [PATCH 1/2] configure: Check sizes of integers and pointers by using the preprocessor
` [Caml-list] [PATCH 2/2] configure: Check endianess "

[Caml-list] CfP: TASE 2016
 2015-10-09  8:14 UTC 

[Caml-list]
 2015-10-09  6:33 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).