[Caml-list] CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
2013-05-28 22:49 UTC
[Caml-list] OCaml's variables
2013-05-28 22:43 UTC (48+ messages)
` Problems to get larger user base ... (Re: [Caml-list] OCaml's variables)
[Caml-list] Recursive fixed polymorphic variants
2013-05-28 21:01 UTC (5+ messages)
[Caml-list] CFP FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013-05-28 21:00 UTC
[Caml-list] RR2013 conference: TRAVEL GRANTS for US students available
2013-05-28 14:47 UTC
[Caml-list] Setting up OPAM in emacs
2013-05-28 8:05 UTC (2+ messages)
[Caml-list] OPAM: installing batteries pa_strings
2013-05-28 5:48 UTC (3+ messages)
[Caml-list] Call for Papers IFL 2013
2013-05-27 9:04 UTC
[Caml-list] French study on security and functional languages
2013-05-27 8:55 UTC (20+ messages)
[Caml-list] OCaml's variables
2013-05-26 11:35 UTC
[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 (3+ 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)
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).