[Caml-list] Modules and record fields
2014-05-26 9:14 UTC (8+ messages)
[Caml-list] OCaml release 4.02.0+beta1
2014-05-25 21:39 UTC (7+ messages)
[Caml-list] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014
2014-05-25 15:16 UTC
[Caml-list] AVOCS 2013 SCP Special Issue - Final Call for Papers
2014-05-24 11:09 UTC
[Caml-list] CfP: Ontology and Linked Data Matching. Special call of the Semantic Web journal
2014-05-23 20:23 UTC
[Caml-list] GADT and local modules
2014-05-23 8:28 UTC (3+ messages)
[Caml-list] Random.self_init in Jane Street Core
2014-05-23 0:15 UTC (9+ messages)
[Caml-list] ANN: ocaml-ctypes 0.3
2014-05-22 8:24 UTC
[Caml-list] Arbitrary precision unsigned integers
2014-05-20 15:33 UTC (3+ messages)
[Caml-list] LOPSTR 2014: Deadline Approaching
2014-05-20 12:46 UTC
[Caml-list] ISR 2014: call for participation
2014-05-20 7:11 UTC
[Caml-list] ML Family workshop - Extended deadline
2014-05-20 6:58 UTC
[Caml-list] OCaml 2014 - Extended deadline
2014-05-20 5:33 UTC
[Caml-list] ISABELLE WORKSHOP and TUTORIAL
2014-05-19 13:32 UTC
[Caml-list] Self contained Windows executable?
2014-05-19 9:28 UTC (6+ messages)
[Caml-list] [ANN] Tsdl 0.8.0
2014-05-18 23:35 UTC
[Caml-list] [ANN] Tgls 0.8.0
2014-05-18 17:35 UTC
[Caml-list] 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014): Final Call for Papers
2014-05-17 9:57 UTC
[Caml-list] Unifying buildt-in types with polymorphic types
2014-05-16 21:41 UTC (3+ messages)
[Caml-list] AlCoB 2014: call for participation
2014-05-16 20:49 UTC
[Caml-list] ICFP 2014 Student Research Competition: Call for Submissions
2014-05-16 20:24 UTC
[Caml-list] Meetup OCaml-Paris (OUPS), jeudi 22 mai à l'IRILL
2014-05-16 17:14 UTC
[Caml-list] Call for Papers: CrossFyre Workshop, July 3-4, 2014 - Bochum, Germany
2014-05-16 9:26 UTC (2+ messages)
` [Caml-list] Call for Papers: CrossFyre Workshop, July 3-4, 2014 - Bochum, Germany [EXTENDED DEADLINE]
[Caml-list] [ANN] Core Suite 111.13.00
2014-05-16 7:54 UTC
[Caml-list] Esper is hiring!
2014-05-15 19:55 UTC
[Caml-list] First call for papers IFL 2014
2014-05-15 9:56 UTC
[Caml-list] [JOB] Compiler engineer at Jane Street
2014-05-15 9:23 UTC
[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 (5+ messages)
` [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 (4+ 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
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