[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: next (older) | prev (newer) | 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).