caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Interfacing with QtQuick 2.0 from Qt5, RFC
 2013-05-09 18:31 UTC  (3+ messages)

[Caml-list] String, Array, Bigarray.char
 2013-05-09 16:29 UTC  (9+ messages)

[Caml-list] Call for Papers: World Congress on Education (WCE-2013)!
 2013-05-09 14:17 UTC 

[Caml-list] ECSCW 2013: Call for Work-in-Progress
 2013-05-09 10:23 UTC  (4+ messages)
` [Caml-list] standard 3d vector library in OCaml

[Caml-list] an issue with coercing private types
 2013-05-09  3:53 UTC  (4+ messages)

[Caml-list] Linux epoll bindings
 2013-05-08 18:15 UTC  (5+ messages)
` AW: "

[Caml-list] [ANN] extlib 1.5.4
 2013-05-08 11:02 UTC 

[Caml-list] Call for Applications: ICLP 2013 Doctoral Student Consortium [Deadline May 12], Istanbul, Turkey, August 24
 2013-05-08  7:25 UTC 

[Caml-list] CICLOPS 2013 - Second Call For Papers
 2013-05-07  9:07 UTC 

[Caml-list] ECSCW 2013: Call for Demos & Videos
 2013-05-06 11:09 UTC 

[Caml-list] SSTiC 2013: next registration deadline 26 May
 2013-05-05  9:21 UTC 

[Caml-list] recursive module type
 2013-05-04 16:01 UTC  (4+ messages)

[Caml-list] Request for feedback: A problem with injectivity and GADTs
 2013-05-04 12:28 UTC  (26+ messages)

[Caml-list] VeriSure Workshop Call for Papers
 2013-05-03  7:23 UTC 

[Caml-list] -principal
 2013-05-03  1:28 UTC  (2+ messages)

[Caml-list] SSS 2013 First CFP
 2013-05-02 14:26 UTC 

[Caml-list] MobiWIS 2013: Final Call for Papers (new extended deadline) and Demos
 2013-05-02 11:09 UTC 

[Caml-list] OCaml mechanize?
 2013-05-02  9:32 UTC  (5+ messages)
    ` [Caml-list] oasis help: forcing the name of generated executables
      ` [Caml-list] "

[Caml-list] SCSS 2013 - Deadline Extension
 2013-05-02  8:19 UTC 

[Caml-list] VSTTE 2013 Call for Participation
 2013-05-02  3:32 UTC 

[Caml-list] CFP FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
 2013-05-01 11:09 UTC 

[Caml-list] Call for Participation: TFPIE2013 tentative program
 2013-05-01  0:38 UTC 

[Caml-list] FMICS 2013 Deadline extended to May 10
 2013-04-30 12:28 UTC 

[Caml-list] Thematic trimester "Semantics of proofs and certified mathematics", spring 2014, Paris
 2013-04-30 10:24 UTC 

[Caml-list] Book reviewers wanted
 2013-04-29 17:13 UTC 

[Caml-list] [fm-announcements] RV 2013 call for papers - deadline extension
 2013-04-29 15:41 UTC 

[Caml-list] syntax suggestion
 2013-04-27  8:04 UTC  (2+ messages)

[Caml-list] FHPC 2013: Call for papers
 2013-04-26 11:24 UTC 

[Caml-list] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013
 2013-04-26  5:01 UTC 

[Caml-list] ackermann microbenchmark strange results
 2013-04-26  3:31 UTC  (9+ messages)

[Caml-list] CiE 2013 - 2nd Call for Informal Presentations
 2013-04-25 22:51 UTC 

[Caml-list] OCaml-Java & concurrent programming: request for feedback
 2013-04-24 11:20 UTC 

[Caml-list] forge.ocamlcore.org expected downtime for upgrade
 2013-04-24  0:03 UTC 

[Caml-list] VSTTE 2013 Call for Participation
 2013-04-23 21:16 UTC 

[Caml-list] CFP WAS4FI 2013: 3rd Int. Workshop on Adaptive Services for the Future Internet
 2013-04-23 15:28 UTC 

[Caml-list] CDuce Status
 2013-04-23 12:03 UTC  (2+ messages)

[Caml-list] CICLOPS 2013 - First Call For Papers
 2013-04-23 10:41 UTC 

[Caml-list] [CAML]:: efficient data structure for storing and searching int list list
 2013-04-23  9:05 UTC  (8+ messages)
  `  "

[Caml-list] Deadline Extension ESOCC 2013: European Conference on Service-Oriented and Cloud Computing
 2013-04-22 14:14 UTC 

[Caml-list] CFP SBLP 2013: Deadline extension
 2013-04-22 12:18 UTC 

[Caml-list] Researcher positions in Rigorous Engineering for Mainstream Systems (REMS)
 2013-04-22 11:02 UTC 

[Caml-list] modified error messages for ocamlc
 2013-04-21 11:28 UTC  (4+ messages)

[Caml-list] TPNC 2013: 1st call for papers
 2013-04-21  7:53 UTC 

[Caml-list] Call for papers: FSFMA 2013 (deadline extension)
 2013-04-20 14:13 UTC 

[Caml-list] CADE-24 Call for Participation
 2013-04-19 15:25 UTC 

[Caml-list] tenure-track position in Theoretical Computer Science
 2013-04-19 11:03 UTC 

[Caml-list] first release of dolog: the dumb ocaml logger
 2013-04-19  8:25 UTC 

[Caml-list] VSTTE Competition 2013: Final Announcement
 2013-04-19  7:33 UTC 

[Caml-list] Unpacked module parameterized type escaping
 2013-04-18 20:11 UTC  (2+ messages)

[Caml-list] tuareg clause indentation in pattern matching
 2013-04-18 12:33 UTC  (5+ messages)
` [Caml-list] "

[Caml-list] VSTTE Competition 2013 Second Announcement
 2013-04-17 20:17 UTC 

[Caml-list] Oregon PL Summer School: register by April 30th
 2013-04-17 14:03 UTC 

[Caml-list] AI4FM 2013: Final Call for Short Contributions - 1 week to go
 2013-04-17 11:28 UTC 

[Caml-list] OCaml 2013 - Call for presentations
 2013-04-16 18:54 UTC 

[Caml-list] 2nd CFP: SCSS 2013
 2013-04-16  9:01 UTC 

[Caml-list] Third Summer School on Formal Techniques, May 20-24, 2013 (call for participation)
 2013-04-16  7:39 UTC 

[Caml-list] Re: Closures serialization and hash
 2013-04-16  7:17 UTC 

[Caml-list] Delimcc.0 OPAM Package Difficulty on Mac OS X
 2013-04-16  6:01 UTC 

[Caml-list] modified error messages for ocamlc
 2013-04-16  0:32 UTC  (10+ messages)
          ` [Caml-list] "

[Caml-list] Closures serialization and hash
 2013-04-15 20:59 UTC  (3+ messages)

[Caml-list] [OCAML]:: the cost of List.length
 2013-04-15 11:05 UTC  (4+ messages)
    `  "

[Caml-list] [ANN] Merlin 1.0 released
 2013-04-14  9:31 UTC  (10+ messages)
` [Caml-list] ocamlfind? how to compile
      ` AW: "

[Caml-list] Types look compatible, but they aren't?
 2013-04-13 17:25 UTC  (7+ messages)

[Caml-list] Build number and date in OCaml?
 2013-04-12 14:38 UTC  (6+ messages)

[Caml-list] Reminder: Call for Papers FMICS 2013
 2013-04-12 12:14 UTC 

[Caml-list] DBPL 2013 - Call for Papers
 2013-04-12  9:56 UTC 

[Caml-list] Delimcc.0 OPAM Package Difficulty on Mac OS X
 2013-04-12  8:56 UTC 

[Caml-list] Microsoft-funded PhD opportunity (software/ system verification)
 2013-04-11 20:23 UTC 

[Caml-list] try...finally , threads, stack-tracebacks .... in ocaml
 2013-04-11 16:43 UTC  (14+ messages)

[Caml-list] OCaml C macros, what do they do?
 2013-04-10 21:04 UTC  (3+ messages)

[Caml-list] SBLP 2013: Final CFP, deadline for Abstracs 19/4
 2013-04-10 15:36 UTC 

[Caml-list] Last CFP ESOCC 2013: European Conference on Service-Oriented and Cloud Computing
 2013-04-10 15:00 UTC 

[Caml-list] LPAR-19 CFP and Workshops
 2013-04-10 12:32 UTC 

[Caml-list] [JOB] Functional Programming at Jane Street
 2013-04-09 14: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).