[Caml-list] French study on security and functional languages
2013-05-24 15:36 UTC (14+ messages)
[Caml-list] OCaml's variables
2013-05-24 9:01 UTC (2+ messages)
[Caml-list] Licenses - Confusion
2013-05-23 22:52 UTC (14+ messages)
[Caml-list] TPNC 2013: 2nd call for papers
2013-05-23 19:55 UTC
[Caml-list] [rpi] opam switch to get ocamlopt on RPi with raspbian
2013-05-22 17:49 UTC (8+ messages)
[Caml-list] CICLOPS 2013 - Last Call For Papers
2013-05-22 14:07 UTC
[Caml-list] [rpi] getting ocamlopt on RPi with raspbian
2013-05-22 12:35 UTC (3+ messages)
[Caml-list] LFMTP'13: Logical Frameworks and Meta-Languages (CFP)
2013-05-22 3:06 UTC
[Caml-list] The rec/nonrec debate
2013-05-21 15:14 UTC (12+ messages)
` [Caml-list] "
[Caml-list] First-class modules in functor bodies
2013-05-20 14:07 UTC (6+ messages)
[Caml-list] [ANN] Core Suite 109.23.00 + async_parallel
2013-05-20 12:13 UTC
[Caml-list] SSTiC 2013: next registration deadline 26 May
2013-05-19 16:53 UTC
[Caml-list] 2D vector graphics
2013-05-17 21:38 UTC
[Caml-list] ANNOUNCE: ocaml-bitstring 2.0.4
2013-05-17 16:21 UTC (4+ messages)
[Caml-list] From Session Types to Data Types: RA post
2013-05-17 15:10 UTC
[Caml-list] INAP 2013 - Call for Papers
2013-05-17 13:59 UTC
[Caml-list] CFP FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013-05-17 11:03 UTC
[Caml-list] concurrent caml-light?
2013-05-17 9:49 UTC (3+ messages)
[Caml-list] [ANN] Core Suite 109.14.00 released + custom_printf
2013-05-17 9:17 UTC (5+ messages)
` [Caml-list] "
[Caml-list] [HLPP2013] Call for participation Paris 1-2 July 2013
2013-05-17 9:07 UTC
[Caml-list] DBPL 2013 - Second Call for Papers
2013-05-17 7:20 UTC
[Caml-list] CiE 2013 in Milan, July 1 - 5: First Call for Participation
2013-05-16 12:06 UTC
[Caml-list] www.yquem.inria.fr: candidature spontanée
2013-05-16 9:45 UTC
[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] 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
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).