[Caml-list] ECSCW 2013: Call for Work-in-Progress
2013-05-15 1:08 UTC (12+ messages)
` [Caml-list] standard 3d vector library in OCaml
` [ocaml-opengl] "
[Caml-list] oasis help: support for qtest in oasis
2013-05-15 1:04 UTC (3+ messages)
` [Caml-list] "
[Caml-list] ANNOUNCE: ocaml-bitstring 2.0.4
2013-05-14 16:45 UTC
[Caml-list] smarter #load directive
2013-05-13 22:22 UTC (5+ messages)
[Caml-list] New OCaml-Paris meetup on May 21, 19h30, IRILL
2013-05-13 22:10 UTC
[Caml-list] Call for Papers: Workshop on Functional Art, Music, Modeling, and Design (colocated with ICFP)
2013-05-13 20:46 UTC
[Caml-list] RFH: type / consistency problem
2013-05-13 13:09 UTC (3+ messages)
[Caml-list] recursive module type
2013-05-13 12:17 UTC (5+ messages)
[Caml-list] OCaml 2013 - Call for presentations
2013-05-13 8:53 UTC (2+ messages)
` [Caml-list] [Reminder] CFP: OCaml 2013 - Boston, deadline is June 7
[Caml-list] Call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)
2013-05-11 21:20 UTC
[Caml-list] CfP: Semantics for Big Data AAAI Fall Symposium 2013
2013-05-11 16:57 UTC
[Caml-list] Linux epoll bindings
2013-05-11 10:14 UTC (8+ messages)
` AW: "
[Caml-list] String, Array, Bigarray.char
2013-05-10 23:42 UTC (10+ messages)
[Caml-list] Call for Workshops and Tutorials: World Congress on Internet Security (WorldCIS-2013)
2013-05-10 13:08 UTC
[Caml-list] Interfacing with QtQuick 2.0 from Qt5, RFC
2013-05-09 18:31 UTC (3+ messages)
[Caml-list] Call for Papers: World Congress on Education (WCE-2013)!
2013-05-09 14:17 UTC
[Caml-list] an issue with coercing private types
2013-05-09 3:53 UTC (4+ messages)
[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] 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] 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 (3+ messages)
[Caml-list] Reminder: Call for Papers FMICS 2013
2013-04-12 12:14 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