CONCUR 2009: Call for Affiliated Workshops
2012-03-08 14:04 UTC (2+ messages)
` [Caml-list] CfPart HATS International School on Formal Models for Objects and Components
[Caml-list] ocaml-java + lablgtk2
2012-03-08 13:58 UTC
[Caml-list] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China
2012-03-08 13:56 UTC
[Caml-list] Can one implement greedy/inline data structures in ocaml?
2012-03-08 13:31 UTC (7+ messages)
[Caml-list] odb questions
2012-03-08 13:29 UTC (7+ messages)
[Caml-list] state of native dynlink on os x
2012-03-08 11:13 UTC (13+ messages)
[Caml-list] oasis packaging questions
2012-03-08 8:31 UTC (2+ messages)
` [Caml-list] "
[Caml-list] concerning using of `deriving' syntactic plugin
2012-03-08 2:49 UTC (10+ messages)
[Caml-list] ocamldoc: Howto crossreference another library?
2012-03-07 9:11 UTC (2+ messages)
[Caml-list] types not equal when I expect them to be
2012-03-07 8:02 UTC
[Caml-list] Semantic Web Journal: Special Call for Surveys on Application Areas of Semantic Technologies
2012-03-07 2:29 UTC
[Caml-list] ocamlopt -g
2012-03-07 0:54 UTC (2+ messages)
[Caml-list] crazy ocaml compiler implementation question
2012-03-06 17:33 UTC (2+ messages)
[Caml-list] [ANN] TypeRex release 1.0.0 candidate 1
2012-03-06 14:27 UTC (11+ messages)
` [Caml-list] "
[Caml-list] CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012
2012-03-05 23:17 UTC
[Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?
2012-03-05 18:37 UTC (9+ messages)
[Caml-list] "Invited researcher" position at LIAFA, Paris, France: Software Analysis
2012-03-05 16:24 UTC
[Caml-list] Commercial Users of Functional Programming 2012: Call for Presentations
2012-03-05 16:10 UTC
[Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?
2012-03-05 12:46 UTC
[Caml-list] "Modules Matter Most"
2012-03-05 8:57 UTC (5+ messages)
[Caml-list] application scope for hashtable on weak pointers
2012-03-04 18:02 UTC (2+ messages)
[Caml-list] WGP call for papers
2012-03-04 16:10 UTC
[Caml-list] application scope for hashtable on weak pointers
2012-03-03 19:50 UTC
[Caml-list] Puzzling typing of recursive classes
2012-03-02 22:21 UTC
[Caml-list] [OT]: Julia is waiting for you ;-)
2012-03-02 21:26 UTC (3+ messages)
[Caml-list] [ANN] TypeRex release 1.0.0 candidate 2
2012-03-02 13:47 UTC
[Caml-list] WS-FM 2012 - First Call for Papers
2012-03-02 9:37 UTC
[Caml-list] WADT 2012: Second Call for Papers
2012-03-02 9:20 UTC
[Caml-list] LOLA 2012 -- call for contributed talks
2012-03-02 1:00 UTC
[Caml-list] compiling static preprocessors
2012-03-01 22:43 UTC (6+ messages)
[Caml-list] types not equal when I expect them to be
2012-03-01 22:18 UTC (2+ messages)
[Caml-list] Camlp5 6.04 - configurable name
2012-03-01 9:37 UTC
[Caml-list] Bigarray question: Detecting subarrays, overlaps,
2012-03-01 8:52 UTC (5+ messages)
[Caml-list] rgba/bgra in LablGL
2012-03-01 3:10 UTC (3+ messages)
[Caml-list] [ANN] Ocamlnet-3.5
2012-02-29 18:24 UTC (2+ messages)
` [Caml-list] [ANN] OCamlnet-3.5.1
[Caml-list] [VMCAI2012] Professor/Associate professor in Formal Methods
2012-02-29 15:37 UTC
[Caml-list] [ANNOUNCE] llpp v11
2012-02-29 8:04 UTC (6+ messages)
[Caml-list] [ANN] Release - A multi-process daemon framework
2012-02-28 17:48 UTC
[Caml-list] feedback arc set problem
2012-02-28 17:25 UTC
[Caml-list] Call for Papers - International Journal of Bio-Inspired Computation, Special Issue on "Knowledge and Intelligence in Distributed Systems"
2012-02-28 16:35 UTC
[Caml-list] LablGTK for OCaml 3.12 on Windows
2012-02-28 16:12 UTC (4+ messages)
[Caml-list] Hybrid Machine Translation Workshop (TSD 2012) - First Call for Papers
2012-02-28 13:28 UTC
[Caml-list] Functional GUI programming: looking for good practices
2012-02-28 10:10 UTC (15+ messages)
[Caml-list] CALL FOR INFORMAL PRESENTATIONS: TURING CENTENARY CONFERENCE
2012-02-28 1:11 UTC
[Caml-list] CfP: IJCAR Workshop on Automated Theory Exploration
2012-02-27 22:55 UTC
[Caml-list] post-doc position available at MSR-INRIA joint lab
2012-02-27 15:48 UTC
[Caml-list] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012
2012-02-27 13:25 UTC
[Caml-list] Latest OCaml + Libraries on CentOS
2012-02-27 9:52 UTC (3+ messages)
[Caml-list] Latest OCaml + Libraries on CentOS
2012-02-26 14:09 UTC
[Caml-list] [ANN] findlib-1.2.8
2012-02-24 19:26 UTC
[Caml-list] Windows problem with Unix.open_connection
2012-02-24 15:17 UTC
[Caml-list] inlining/eta-expansion question
2012-02-24 1:15 UTC (2+ messages)
[Caml-list] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge
2012-02-23 20:41 UTC
[Caml-list] "module type of" on sub-module of functor result
2012-02-23 14:30 UTC (12+ messages)
` [Caml-list] "
[Caml-list] Some utilities about camlp4
2012-02-21 13:29 UTC (3+ messages)
[Caml-list] camlp5 pa_pragma
2012-02-21 5:00 UTC
[Caml-list] some tricks about ocaml
2012-02-21 0:15 UTC
[Caml-list] calmp5 pa_pragma
2012-02-20 23:59 UTC (2+ messages)
` [Caml-list] "
[Caml-list] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection
2012-02-20 14:18 UTC
[Caml-list] The Alan Turing Centenary Conference
2012-02-20 14:06 UTC
[Caml-list] Compiling Cryptokit on Windows
2012-02-20 13:50 UTC (2+ messages)
[Caml-list] POPL'13: Call for proposals for co-located events
2012-02-20 13:05 UTC
[Caml-list] SSFLA 2012: 3rd announcement
2012-02-19 9:30 UTC
[Caml-list] How an exception could be an argument
2012-02-17 19:31 UTC (4+ messages)
[Caml-list] Conference on Intelligent Computer Mathematics, last call for papers
2012-02-17 10:15 UTC
[Caml-list] Fwd: interval trees
2012-02-17 8:11 UTC (16+ messages)
[Caml-list] Sexplib bug report
2012-02-17 5:34 UTC (2+ messages)
[Caml-list] ocaml-pcre and UTF-8
2012-02-16 10:18 UTC (3+ messages)
[Caml-list] Fwd: Re: [Batteries-devel] browsing the code while reading the doc
2012-02-16 2:11 UTC (6+ messages)
[Caml-list] [fm-announcements] NFM 2012 Call For Participation
2012-02-15 13:15 UTC
FASE'08: abstracts due October 5
2012-02-14 15:31 UTC (5+ messages)
` CORCS 2008: Call for Papers
` CORCS 2008: Call for Papers - extended deadline
` [Caml-list] EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
` [Caml-list] Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
[Caml-list] What am I reinventing here?
2012-02-14 11:05 UTC (7+ 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).