caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Confusing behaviour of type inference for polymorphic classes
 2013-12-03 17:49 UTC  (9+ messages)

[Caml-list] [ANN] Js_of_ocaml 1.4
 2013-12-03 13:00 UTC 

[Caml-list] [TFP 2014] 1st Call For Papers
 2013-12-03 10:28 UTC 

[Caml-list] Main program in C - a script
 2013-12-03  6:03 UTC  (3+ messages)

[Caml-list] Extracting exception details (Async, Cohttp, Exn)
 2013-12-02 15:14 UTC  (4+ messages)

[Caml-list] phd and research fellow posts available
 2013-12-02 13:21 UTC 

[Caml-list] AI4FM 2014: Call for Short Contributions
 2013-12-02 10:21 UTC 

[Caml-list] Second CFP: 17th International Conference on Business Information Systems (BIS 2014)
 2013-11-30 11:44 UTC 

[Caml-list] [batteries] ... how to create (format) directives that do not take any arguments?
 2013-11-30  3:15 UTC  (10+ messages)
    ` [Caml-list] [batteries] ... how to create (format) directives

[Caml-list] SLATE 2014 - Symposium on Languages, Applications and Technologies - Call for Papers
 2013-11-29 17:27 UTC 

[Caml-list] extlib 1.6.0 released
 2013-11-29  8:22 UTC  (7+ messages)

[Caml-list] Call for Industry Track Papers: Formal Methods 2014 (FM 2014)
 2013-11-28 18:02 UTC 

[Caml-list] ANN: improved BER MetaOCaml N101, for OCaml 4.01
 2013-11-28 11:15 UTC  (5+ messages)

[Caml-list] BIS 2014: Last Call for Workshop and Event Proposals
 2013-11-28  8:33 UTC 

[Caml-list] [ANN] pfff 0.25, tools and APIs for program analysis of PHP/Java/JS/C/ML/PHP/
 2013-11-27  1:16 UTC 

[Caml-list] Ocaml crash in windows due to running out of memory
 2013-11-26  9:24 UTC  (9+ messages)

[Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
 2013-11-25 22:09 UTC 

[Caml-list] [fm-announcements] 1st Intl. Competition of Software for Runtime Verification: call for participation
 2013-11-25 21:23 UTC 

[Caml-list] plain sigsegv on osx 10.8 / opam 1.0.0 / ocaml 4.01.0
 2013-11-25 21:07 UTC  (5+ messages)

[Caml-list] 1st Intl. Competition of Software for Runtime Verification: call for participation
 2013-11-25 20:37 UTC 

[Caml-list] Hardening [Perl's] hash function further
 2013-11-25 14:43 UTC  (18+ messages)

[Caml-list] VSC 2014 call for papers
 2013-11-25 10:37 UTC 

[Caml-list] short-circuit in Real World Ocaml ch 3 deserves a comment
 2013-11-25  1:36 UTC  (3+ messages)

[Caml-list] OS X linking problem
 2013-11-24  8:56 UTC 

[Caml-list] SSTiC 2014: 1st announcement
 2013-11-23 20:47 UTC 

[Caml-list] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
 2013-11-22 15:40 UTC 

[Caml-list] Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop
 2013-11-22  9:01 UTC 

[Caml-list] Fwd: PhD Studentship on ABCD
 2013-11-21 13:52 UTC 

[Caml-list] Job announcement: formal methods engineer
 2013-11-21  9:57 UTC 

[Caml-list] [ANN] New OCaml.org design is now live!
 2013-11-21  9:53 UTC  (2+ messages)
` [Caml-list] [ocaml-infra] "

[Caml-list] 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada
 2013-11-21  9:38 UTC 

[Caml-list] CFPar: PLPV 2014, Programming Languages meets Program Verification
 2013-11-20 16:20 UTC 

[Caml-list] ctypes with -thread: inconsistent assumptions over implementation Foreign
 2013-11-20 15:55 UTC  (4+ messages)

[Caml-list] UTP-2014 Unifying Theories of Programming - Call for papers
 2013-11-20 14:59 UTC 

[Caml-list] Ocaml crash in windows due to running out of memory
 2013-11-20 10:48 UTC 

[Caml-list] lwt exceptions and infinite loops
 2013-11-19 12:32 UTC  (6+ messages)

[Caml-list] FLOPS 2014 2nd CFP
 2013-11-19  5:17 UTC 

[Caml-list] open-source software at OCamlPro and TypeRex-Pro
 2013-11-18 22:45 UTC 

[Caml-list] CiE 2014: Language, Life, Limits. Call for Papers (fwd)
 2013-11-18 20:45 UTC 

[Caml-list] camomile question
 2013-11-18 16:44 UTC  (4+ messages)

[Caml-list] opam on a host without internet access
 2013-11-18 11:29 UTC 

[Caml-list] OCaml vs Ada and/or GUI options
 2013-11-17 20:12 UTC  (5+ messages)
  ` [Caml-list] "

[Caml-list] "Semantics of Proofs and Certified Mathematics", IHP trimester (second call for starting school and workshop registration)
 2013-11-17 15:45 UTC 

[Caml-list] Merlin question about configuration file
 2013-11-16  9:55 UTC  (9+ messages)

[Caml-list] ERSHOV INFORMATICS CONFERENCE (PSI'14) - Call for Papers
 2013-11-15 16:43 UTC 

[Caml-list] Creating a Map from custom type
 2013-11-15  9:36 UTC  (7+ messages)

[Caml-list] LLVM OCaml bindings
 2013-11-14 19:29 UTC  (10+ messages)

[Caml-list] JFLA14 - Appel à participation
 2013-11-14 16:40 UTC 

[Caml-list] [fm-announcements] Formal Methods Positions at NASA Langley
 2013-11-13 18:13 UTC 

[Caml-list] Reentrant ocaml
 2013-11-13 18:01 UTC 

[Caml-list] Engineer and funded PhD position available, formal methods applied to filesystems
 2013-11-13 15:17 UTC 

[Caml-list] Software engineer position available at Cryptosense
 2013-11-13  8:44 UTC 

[Caml-list] recursive records
 2013-11-13  8:01 UTC  (5+ messages)

[Caml-list] [ANN] exenum.0.6: exhaustive enumerations for datatypes
 2013-11-12 14:00 UTC 

[Caml-list] Real World OCaml now available online and print
 2013-11-11 16:32 UTC 

[Caml-list] Real World OCaml is finished
 2013-11-11 12:47 UTC 

[Caml-list] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014)
 2013-11-11 12:27 UTC 

[Caml-list] [ANN] opam2debian v0.1.1: Create Debian package that contains a set of OPAM packages
 2013-11-10 22:27 UTC  (2+ messages)

[Caml-list] OASIS help
 2013-11-10 21:08 UTC  (2+ messages)

[Caml-list] Call for Papers : International Journal Of Advanced Computer Science and Applications (IJACSA)
 2013-11-10 18:46 UTC 

[Caml-list] Migration plan and bug hunt for ocaml.org - http://preview.ocaml.org
 2013-11-10  2:38 UTC  (7+ messages)
` [Caml-list] [ocaml-infra] "

[Caml-list] applying labled argument error
 2013-11-09 18:42 UTC  (6+ messages)

[Caml-list] AlCoB 2014: 2nd call for papers
 2013-11-09 18:26 UTC 

[Caml-list] [ANN] final release of OPAM 1.1.0
 2013-11-08 15:46 UTC  (2+ messages)

[Caml-list] Extended Deadline : 13 November 2013 - Call For Papers : Workshop MAROC’2013
 2013-11-08 13:11 UTC 

[Caml-list] Generating x86 code
 2013-11-08 11:35 UTC 

[Caml-list] is there a way for turning strings to "format"s?
 2013-11-07 21:14 UTC  (5+ messages)

[Caml-list] First Call for Papers: SEFM 2014
 2013-11-07 16:17 UTC 

[Caml-list] SynCoP 2014 (ETAPS satellite) 2nd call for papers
 2013-11-06 15:44 UTC 

[Caml-list] out-of-the-heap 'a arrays ?
 2013-11-06 14:20 UTC  (9+ messages)

[Caml-list] IPv6 packet parsing
 2013-11-06 13:57 UTC  (6+ messages)

[Caml-list] is there a way for turning strings to "format"s?
 2013-11-06 13:08 UTC  (5+ messages)

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