[Caml-list] CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal
2014-05-15 3:46 UTC
[Caml-list] open extensible types representation
2014-05-14 23:33 UTC (11+ messages)
[Caml-list] [ANN] LibreS3 v0.1: Amazon S3 compatible server
2014-05-14 15:30 UTC (3+ messages)
` [Caml-list] [ANN] LibreS3 v0.2: "
[Caml-list] Presupuesto Material Promocional
2014-05-14 9:04 UTC
[Caml-list] [GCM 2014] Last CFP : Graph Computation Models
2014-05-14 8:54 UTC
[Caml-list] FLOPS 2014 call for participation (early registration deadline extended)
2014-05-13 10:40 UTC
[Caml-list] GandALF 2014: Extended deadlines
2014-05-12 8:52 UTC
[Caml-list] 2nd CFP: 5th Workshop on Big Data Benchmarking (WBDB 2014)
2014-05-12 7:14 UTC
[Caml-list] First official release of ACPC, a ligand-based virtual screening tool
2014-05-12 4:31 UTC
[Caml-list] [ANN] ucorelib 0.1.0
2014-05-11 23:20 UTC (9+ messages)
[Caml-list] Embedding Ocaml in a windows application
2014-05-09 22:00 UTC (8+ messages)
[Caml-list] CfP: SERENE 2014 - Workshop on Software Engineering for Resilient Systems
2014-05-09 21:53 UTC
[Caml-list] TPNC 2014: 2nd call for papers
2014-05-09 20:12 UTC
[Caml-list] [TFPIE2014] final call for participation
2014-05-09 13:34 UTC
[Caml-list] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open
2014-05-08 22:22 UTC
[Caml-list] Deadline extension for Workshop on Functional Art, Music, Modeling and Design (FARM) - May 15!
2014-05-08 11:13 UTC
[Caml-list] APLAS 2014: Last CFP
2014-05-07 3:10 UTC
[Caml-list] ML Family Workshop -- Last call for presentations
2014-05-07 3:00 UTC
[Caml-list] OCaml 2014 - Last Call for Presentations
2014-05-06 23:26 UTC
[Caml-list] Real World OCaml eBook 50% off today
2014-05-06 14:37 UTC
[Caml-list] [ANN] ppx_protobuf
2014-05-06 10:42 UTC (15+ messages)
[Caml-list] CfP: 4th INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET
2014-05-05 14:44 UTC
[Caml-list] Second call for participation: summer school on programming techniques (EJCP 2014)
2014-05-05 7:57 UTC
[Caml-list] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014
2014-05-05 6:28 UTC
[Caml-list] GPCE 2014 - Final Call for Papers
2014-05-05 3:00 UTC
[Caml-list] Obj.magic for polymorphic identifiers
2014-05-04 23:46 UTC (7+ messages)
[Caml-list] [ANN] React 1.0.0
2014-05-04 23:16 UTC (22+ messages)
` [Caml-list] OCaml script on windows (was Re: [ANN] React 1.0.0)
` [Caml-list] topkg (was Re: OCaml script on windows (was Re: [ANN] React 1.0.0))
` [Caml-list] [ANN] React 1.0.1
` [Caml-list] [ANN] React 1.1.0
[Caml-list] 3rd CFP: Functional High-Performance Computing 2014 (FHPC'14)
2014-05-04 12:35 UTC
[Caml-list] Ocaml 4.02.0+dev4-2014-04-03 toplevel: module aliases no longer print module signature
2014-05-03 22:00 UTC (13+ messages)
[Caml-list] ICTAI 2014: Third Call for Papers
2014-05-03 11:27 UTC
[Caml-list] SLSP 2014: extended submission deadline 14 May
2014-05-03 8:14 UTC
[Caml-list] Trying to define a functor combining polymorphic variants
2014-05-03 1:43 UTC (5+ messages)
[Caml-list] Exception marshaling
2014-05-02 21:58 UTC (2+ messages)
[Caml-list] PPDP 2014: 2nd Call for Papers
2014-05-02 20:21 UTC
[Caml-list] Second Call for Papers: LDAB@CIBB2014
2014-05-02 11:28 UTC (2+ messages)
` [Caml-list] LAST "
[Caml-list] CFP: MICAI 2014 - Artificial Intelligence - Springer LNAI + IEEE + journals - Mexico
2014-05-02 8:39 UTC
[Caml-list] VeriSure 2014 Call for Papers
2014-05-02 0:42 UTC
[Caml-list] Submit to the Workshop on Functional Art, Music, Modelling and Design! (Deadline May 7)
2014-05-01 15:33 UTC
[Caml-list] Symbolic Computation in Software Science - Call for Papers
2014-05-01 15:06 UTC
[Caml-list] Types Meeting 2014 in Paris, 12 - 15 May: Last call for participation
2014-05-01 14:51 UTC
[Caml-list] CfP: 4th INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET
2014-04-30 22:36 UTC
[Caml-list] Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)
2014-04-30 9:50 UTC
[Caml-list] Traduction & Interprétation
2014-04-28 7:56 UTC
[Caml-list] help with ocaml tic tac toe example
2014-04-26 14:02 UTC
[Caml-list] Segmentation fault when using OcamlMPI
2014-04-26 12:21 UTC (2+ messages)
[Caml-list] WiMob 2014: Third Call for Papers (*** Submission Deadline Extension ***)
2014-04-26 11:29 UTC
[Caml-list] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014
2014-04-25 23:39 UTC
[Caml-list] SSTiC 2014: May 10, 6th registration deadline
2014-04-25 20:11 UTC
[Caml-list] Issue when installing OPAM on Fedora 20 (XFCE)
2014-04-25 16:19 UTC (2+ messages)
[Caml-list] 4th International Conference on Model & Data Engineering (MEDI 2014): Last Mile
2014-04-25 14:21 UTC
[Caml-list] [ANN] Core Suite 111.11.00
2014-04-25 10:23 UTC
[Caml-list] LudumDare, game jam
2014-04-24 19:28 UTC
[Caml-list] thematic trimester at IHP -- talks of the first week available online
2014-04-24 17:54 UTC
[Caml-list] Bonjour [offre de services JL Négoce]
2014-04-24 17:44 UTC
[Caml-list] Module inside an object
2014-04-24 14:44 UTC (2+ messages)
[Caml-list] Camlp5 git
2014-04-24 9:22 UTC
[Caml-list] ICOOOLPS 2014 Call For Papers
2014-04-23 13:37 UTC
[Caml-list] strange behavior of camlp4 + batteries
2014-04-23 8:52 UTC (2+ messages)
[Caml-list] CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*
2014-04-22 7:23 UTC
[Caml-list] non-optional labels in signatures
2014-04-22 0:11 UTC (3+ messages)
[Caml-list] How does the Thread module work with the Gc?
2014-04-17 22:10 UTC (3+ messages)
[Caml-list] [ANNOUNCE] llpp v18
2014-04-17 14:59 UTC (6+ messages)
[Caml-list] LOPSTR 2014: Second Call for Papers
2014-04-17 10:31 UTC
[Caml-list] Beginner's troubles with ocsigen
2014-04-17 10:03 UTC (2+ messages)
[Caml-list] Types Meeting 2014 in Paris, 12 - 15 May: 2nd call for participation
2014-04-17 7:25 UTC
[Caml-list] 2nd CFP: FARM 2014: Functional Art, Music, Modelling and Design
2014-04-17 7:23 UTC
[Caml-list] ANN: Opam Dependency Solving in the Cloud
2014-04-16 17:13 UTC
[Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
2014-04-16 15:38 UTC (2+ messages)
` [Caml-list] PAS 2014 - Third International Seminar "
[Caml-list] Second Call for Papers: International Conference on Formal Methods in Computer-Aided Design (FMCAD) 2014
2014-04-16 12:49 UTC
[Caml-list] Keeping A big data optimization problem functional
2014-04-16 11:02 UTC (10+ messages)
[Caml-list] ATVA 2014: Last Call for Papers -- Sydney November 3-7
2014-04-16 9:18 UTC
[Caml-list] IHP thematic trimester -- Kick-off meeting -- Tuesday April 22
2014-04-16 8:11 UTC
[Caml-list] ppc64le backend
2014-04-15 14:34 UTC
[Caml-list] Haskell Symposium: Second call for papers
2014-04-15 14:01 UTC
[Caml-list] [ANN] P3 v. 2014-04-15d
2014-04-15 13:15 UTC
[Caml-list] Vacancies: Two New HIPERFIT PhD Scholarships Available
2014-04-15 12:13 UTC
[Caml-list] Oregon PL Summer School: register by May 2nd
2014-04-15 8:54 UTC
[Caml-list] Summer School on Advances in Programming Langauges
2014-04-14 17:24 UTC
[Caml-list] WWV 2014: call for papers
2014-04-14 15:54 UTC (2+ messages)
` [Caml-list] WWV 2014: final "
[Caml-list] PhD Position in dependent types, testing & hardware design
2014-04-14 8:34 UTC
[Caml-list] Ocaml compiler documentation
2014-04-14 7:44 UTC (8+ messages)
[Caml-list] Call for Participation: FormaliSE 2014 (co-located with ICSE 2014)
2014-04-13 15:49 UTC
[Caml-list] SLSP 2014: 3rd call for papers
2014-04-13 14:36 UTC
[Caml-list] APLAS 2014: 2nd Call for papers
2014-04-13 8:22 UTC
[Caml-list] CFP - ICDCN 2014
2014-04-12 22:07 UTC
[Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0)
2014-04-12 15:24 UTC (2+ messages)
[Caml-list] [ANN] Ocsigen Js_of_ocaml 2.0
2014-04-11 13:42 UTC (3+ messages)
[Caml-list] PPDP 2014: Call for Papers
2014-04-11 10:09 UTC
[Caml-list] ATVA - (Final) Call for Workshop Proposals
2014-04-11 6:45 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).