caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Erice School on "Graph Theory, Algorithms and Applications"
 2014-03-21 10:21 UTC 

[Caml-list] CFP: 5th Workshop on Big Data Benchmarking (WBDB 2014)
 2014-03-21  8:53 UTC 

[Caml-list] Polymorphic module type constraints
 2014-03-21  7:31 UTC 

[Caml-list] Bug when printing from signal handlers?
 2014-03-20 20:07 UTC  (6+ messages)

[Caml-list] need help to investigate an ocaml build error on ppc64le archi
 2014-03-20 18:36 UTC  (2+ messages)

[Caml-list] CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal
 2014-03-20 17:39 UTC 

[Caml-list] Call for Papers: International Conference on Formal Methods in Computer-Aided Design (FMCAD) 2014
 2014-03-20 14:23 UTC 

[Caml-list] Artificial Intelligence and Symbolic Computation AISC 2014
 2014-03-20 12:33 UTC 

[Caml-list] Integrated Formal Methods 2014 - Call for Papers
 2014-03-19 22:53 UTC 

[Caml-list] OpenGL and LWT
 2014-03-19 12:01 UTC  (11+ messages)

[Caml-list] [ANN] BitMasks 1.0.0
 2014-03-18 21:30 UTC  (2+ messages)

[Caml-list] TSD 2014 - Last Call for Papers
 2014-03-17  8:21 UTC 

[Caml-list] Any AUC calculation library in OCaml?
 2014-03-17  2:56 UTC 

[Caml-list] ICTAI 2014: Second Call for Papers
 2014-03-16 11:54 UTC 

[Caml-list] I never succeeded in using Format
 2014-03-14 10:21 UTC  (12+ messages)

[Caml-list] Confirm ee2800df15ce98c686593ba0bea40278
 2014-03-14  0:58 UTC 

[Caml-list] Kлиeнтckиe бaзы тел: +7-91ЗЗ9I-З8З7
 2014-03-14  0:58 UTC 

[Caml-list] Haskell Symposium 2014: Call for papers
 2014-03-13  9:42 UTC 

[Caml-list] Order of includes in Ocamlbuild
 2014-03-11 12:19 UTC 

[Caml-list] [TFP2014] Final Call For Papers
 2014-03-11  8:31 UTC 

[Caml-list] Batteries Included syntax extensions?
 2014-03-10 10:43 UTC  (6+ messages)

[Caml-list] Extended Deadline (March 17, 2014): SETS 2014
 2014-03-10  3:26 UTC 

[Caml-list] Extended Deadline (March 17, 2014): SETS 2014
 2014-03-10  3:17 UTC 

[Caml-list] Call for participation: COMPASS Summer School
 2014-03-09 21:13 UTC 

[Caml-list] ICEIRD 2014: Final Call for Papers
 2014-03-08 12:46 UTC 

[Caml-list] Call for Participation: FM 2014, Singapore, May 12-16
 2014-03-07 23:47 UTC 

[Caml-list] ICECCS 2014: final call for papers
 2014-03-06 17:50 UTC 

[Caml-list] [ANN] Core Suite 111.03.00
 2014-03-06 17:37 UTC 

[Caml-list] Project hosting for new OCaml projects
 2014-03-06 12:05 UTC  (10+ messages)

[Caml-list] SFM-14:ESM last call for participation
 2014-03-06 11:07 UTC 

[Caml-list] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations
 2014-03-06  9:16 UTC 

[Caml-list] TSD 2014 - Second Call for Papers
 2014-03-05 23:12 UTC 

[Caml-list] SSTiC 2014: 15 March, 4th registration deadline
 2014-03-05 21:06 UTC 

[Caml-list] Fwd: [TYPES/announce] First CFP: Workshop on Generic Programming (WGP) 2014
 2014-03-05 11:41 UTC 

[Caml-list] Call for Papers ICTAC 2014, 17-20 Sept, Bucharest, Romania
 2014-03-04 19:16 UTC 

[Caml-list] Bioinformatics Js_of_ocaml GSoC project
 2014-03-04 17:03 UTC  (6+ messages)

[Caml-list] 2nd CfP: UNIF 2014
 2014-03-04 14:31 UTC 

[Caml-list] ETAPS 2014 2nd call for participation
 2014-03-03 23:01 UTC 

[Caml-list] CFP: FARM 2014: Functional Art, Music, Modelling and Design
 2014-03-01 16:40 UTC 

[Caml-list] WiMob 2014: Second CFP and Last Call for Workshop Proposals
 2014-03-01 13:00 UTC 

[Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
 2014-02-28 11:45 UTC 

[Caml-list] CICM 2014: Extended Deadline March 14th, 2014
 2014-02-28  8:43 UTC 

[Caml-list] 2nd CFP, Intersection Types and Related Systems 2014
 2014-02-27 16:29 UTC 

[Caml-list] WWV 2014: call for papers
 2014-02-27  9:03 UTC 

[Caml-list] camlp4 for js_of_ocaml toplevels
 2014-02-27  8:34 UTC  (5+ messages)

[Caml-list] [JOB] Summer internships at Jane Street
 2014-02-27  4:05 UTC 

[Caml-list] Creating an OPAM package that wraps c functions that can be used in a non-custom utop
 2014-02-26 22:50 UTC  (5+ messages)

[Caml-list] [fm-announcements] NFM 2014 Call for Participation
 2014-02-26 21:56 UTC 

[Caml-list] [job] Static analysis developer and C/C++ compiler architect positions at MathWorks Grenoble
 2014-02-26 14:22 UTC 

[Caml-list] Google summer of code
 2014-02-26 12:06 UTC  (3+ messages)

[Caml-list] [ANN] IOCamlJS v0.1
 2014-02-25 22:38 UTC  (2+ messages)
` [Caml-list] Fwd: "

[Caml-list] *Deadline extended* Final call for contributions AI4FM 2014
 2014-02-25 14:01 UTC 

[Caml-list] Using bisect and coveralls.io
 2014-02-24 19:15 UTC 

[Caml-list] how to convert strings to Ocaml values at run-time?
 2014-02-24 13:48 UTC  (6+ messages)

[Caml-list] [LOPSTR 2014] First Call for Papers
 2014-02-24 12:18 UTC 

[Caml-list] Call for Participation RAMiCS 2014
 2014-02-24  6:30 UTC 

[Caml-list] [ANN] OASIS 0.4.2
 2014-02-23 15:47 UTC  (2+ messages)

[Caml-list] Error: In this definition, a type variable cannot be deduced from the type parameters
 2014-02-23  9:18 UTC  (2+ messages)

[Caml-list] [RFC] Remaining changes for cross-compilation support in OCaml
 2014-02-22 20:24 UTC  (15+ messages)
` [Caml-list] [RFC] Remaining changes for cross-compilation support

[Caml-list] Looking for GPG bindings (for package signing in yypkg)
 2014-02-22 13:42 UTC 

[Caml-list] First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems
 2014-02-21 15:45 UTC 

[Caml-list] APLAS 2014: Call for papers
 2014-02-21  0:01 UTC 

[Caml-list] ICECCS 2014: deadline extension / Call for tutorials
 2014-02-20 21:33 UTC 

[Caml-list] Constraining mutability of record types with interfaces
 2014-02-20 19:30 UTC  (2+ messages)

[Caml-list] TYPES 2014 in Paris, May 12 - 15: last call for contributions
 2014-02-20  9:38 UTC 

[Caml-list] Second Call for Papers: SETS 2014
 2014-02-19 14:32 UTC 

[Caml-list] Second Call for Papers: SETS 2014
 2014-02-19 14:25 UTC 

[Caml-list] unix domain sockets on windows
 2014-02-19 11:47 UTC  (3+ messages)

[Caml-list] [HLPP2014, Amsterdam] Appel aux communications, Call for papers
 2014-02-19 10:20 UTC 

[Caml-list] [ANN] InvarGenT v1.2: GADTs for invariants and postconditions
 2014-02-18 19:02 UTC 

[Caml-list] [ANN] IOCaml v0.3
 2014-02-18 12:22 UTC  (2+ messages)

[Caml-list] Doing compiler patch review with a dedicated mailing-list
 2014-02-17 22:55 UTC  (10+ messages)

[Caml-list] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
 2014-02-17 13:58 UTC 

[Caml-list] Ackermann Award 2014
 2014-02-17 10:13 UTC 

[Caml-list] 4th International Conference on Model & Data Engineering (MEDI 2014): Second Call for Papers
 2014-02-16 11:28 UTC 

[Caml-list] ATVA 2014: First Call for Papers
 2014-02-16  2:05 UTC 

[Caml-list] LATA 2014: call for participation
 2014-02-15 18:34 UTC 

[Caml-list] First class modules aliases
 2014-02-15 15:05 UTC  (7+ messages)
  ` [Caml-list] First class modules from C

[Caml-list] ICSOB 2014: Industry Day - Final Call for Papers (Extended Deadline)
 2014-02-15 11:25 UTC 

[Caml-list] menhir types cannot be open polymorphic variant
 2014-02-14 13:30 UTC  (4+ messages)

[Caml-list] [fm-announcements] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014
 2014-02-14  5:50 UTC 

[Caml-list] [ANN] opass 1.0.0
 2014-02-13 21:12 UTC 

[Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
 2014-02-13  8:43 UTC  (6+ messages)
  ` [Caml-list] CFP: Graph Computation Models (GCM2012)
    ` [Caml-list] Second "
      ` [Caml-list] Last "
        ` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013
          ` [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014

[Caml-list] CFP: ICGSE 2014 (9. IEEE International Conference on Global Software Engineering)
 2014-02-13  4:05 UTC 

[Caml-list] Silicon Valley OCaml programmers
 2014-02-12 16:53 UTC  (2+ messages)

[Caml-list] SDL2 bindings, testers and feedback welcome
 2014-02-12 10:43 UTC  (2+ messages)

[Caml-list] FSFMA: call for papers (FM satellite)
 2014-02-11 18:53 UTC 

[Caml-list] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014
 2014-02-11  8:06 UTC 

[Caml-list] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
 2014-02-11  2:29 UTC 

[Caml-list] ocaml.org licensing
 2014-02-10 23:21 UTC  (3+ messages)
` [Caml-list] [ocaml-infra] "

[Caml-list] Proposal: extend try to handle success
 2014-02-10 14:39 UTC  (6+ messages)

[Caml-list] OCaml 2014 - Call for Presentations
 2014-02-10  9:49 UTC 

[Caml-list] [ANN] Core Suite 110.01.00
 2014-02-10  9:10 UTC 

[Caml-list] Type of term
 2014-02-10  8:58 UTC  (6+ messages)

[Caml-list] Oregon Programming Languages Summer School, 2014
 2014-02-10  2:05 UTC 

[Caml-list] [ANN] Cmdliner 0.9.4
 2014-02-09 21:34 UTC 

[Caml-list] Netflow, sFlow and JFlow reading/parsing in OCaml
 2014-02-09 14:10 UTC 

[Caml-list] ICEIRD 2014: Final Call for Abstracts
 2014-02-08 12:33 UTC 

[Caml-list] SSTiC 2014: February 15, 3rd registration deadline
 2014-02-08  8:00 UTC 

[Caml-list] OCamlPro Highlights: Dec 2013 & Jan 2014
 2014-02-07 10:48 UTC  (9+ messages)

[Caml-list] ETAPS 2014 call for participation
 2014-02-06 23:39 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).