caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] Matching exhausitvity with GADT and modules
 2015-05-27 15:36 UTC  (4+ messages)

[Caml-list] AVoCS 2015: Final Call for Papers
 2015-05-27 10:41 UTC 

[Caml-list] When to (not) use -no-naked-pointers?
 2015-05-26 17:21 UTC  (4+ messages)

[Caml-list] OCaml release roadmap
 2015-05-26 17:13 UTC  (8+ messages)

[Caml-list] ICTAC 2015 - Final Call for Papers
 2015-05-25 19:42 UTC 

[Caml-list] InfoSec 2015: registration deadline 3 June
 2015-05-23 10:42 UTC 

[Caml-list] Job: Ocaml Engineer in Paris
 2015-05-22 16:28 UTC 

[Caml-list] Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Second Call for Papers
 2015-05-22 14:27 UTC 

[Caml-list] GADTs and JSON
 2015-05-21 18:44 UTC  (3+ messages)

[Caml-list] CONTEXT 2015: Final Call for Papers and Posters (extended deadline!)
 2015-05-21 14:17 UTC 

[Caml-list] IEEE/ACM UCC 2015: Third Call for Papers and Tutorial Proposals
 2015-05-20 15:12 UTC 

[Caml-list] Running OCaml binaries compiled in another computer
 2015-05-20 12:41 UTC  (2+ messages)

[Caml-list] Vult language made with Ocaml
 2015-05-19 22:33 UTC  (4+ messages)

[Caml-list] CFP for BigData2015: International Conference in Mauritius
 2015-05-19 14:28 UTC 

[Caml-list] LPAR-20 in Fiji - Call for Papers and Workshops
 2015-05-19 13:56 UTC 

[Caml-list] CFP: Information and Computation special issue on Implicit Computational Complexity
 2015-05-18  5:58 UTC 

[Caml-list] SLSP 2015: 2nd call for papers
 2015-05-16 17:31 UTC 

[Caml-list] Repacking modules gives unexpected results
 2015-05-15 22:28 UTC  (3+ messages)

[Caml-list] MetaOCaml error while running generated code that needs -rectypes
 2015-05-14 11:43 UTC  (5+ messages)
      ` [Caml-list] MetaOCaml error while running generated code that

[Caml-list] CFP : Extended deadline : Functional Art, Music, Modelling and Design (FARM 2015)
 2015-05-14  9:59 UTC 

[Caml-list] OCaml backend developer position at Ahrefs Research (San Francisco)
 2015-05-14  7:45 UTC 

[Caml-list] [ANN] OPAM 1.2.2
 2015-05-14  0:49 UTC 

[Caml-list] CFP: Extended Deadline: Functional High-Performance Computing (held with ICFP)
 2015-05-14  0:35 UTC 

[Caml-list] Private types and subtyping
 2015-05-13 20:09 UTC  (3+ messages)

[Caml-list] JOB: Software Developer (m/f) - Functional Programming / C++ @ Dassault Systemes 3DEXCITE in Munich
 2015-05-13 15:55 UTC 

[Caml-list] CiE 2015 in Bucharest - Call for Participation
 2015-05-11 18:00 UTC 

[Caml-list] Record fields not reexported from functors
 2015-05-11 17:24 UTC  (3+ messages)

[Caml-list] #show giving funny types
 2015-05-11 11:10 UTC  (3+ messages)

[Caml-list] First Call for Papers for IFL 2015
 2015-05-10 20:03 UTC 

[Caml-list] Last Mile for New CFP: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015)
 2015-05-10  9:55 UTC 

[Caml-list] DCM 2015 (Cali, Colombia): Call for Papers
 2015-05-08 15:42 UTC 

[Caml-list] PADL 2015 - Call for Participation
 2015-05-07  9:45 UTC 

[Caml-list] Problems with printing MetaOCaml generated code
 2015-05-06 16:45 UTC  (23+ messages)

[Caml-list] CfP: WOP2015 @ ISWC2015, Workshop on Ontology and Semantic Web Patterns
 2015-05-05 17:38 UTC 

[Caml-list] [Call for papers] The Third International Conference for the History and Philosophy of Computing (HaPoC 2015)
 2015-05-05  9:22 UTC 

[Caml-list] [TFP'15] call for participation
 2015-05-04 20:07 UTC  (4+ messages)
` [Caml-list] Handling concurrent connections with Lwt

[Caml-list] Call for participation (FCRC+LCTES)
 2015-05-04 14:56 UTC 

[Caml-list] 3rd FMCAD Student Forum
 2015-05-04 14:45 UTC 

[Caml-list] [ANN] Albatross 0.1
 2015-05-03 21:54 UTC  (2+ messages)

[Caml-list] ocaml-tutorial.org will expire in 60 days
 2015-05-02 14:05 UTC 

[Caml-list] Safe UTF-8 string literals and pattern matching for OCaml
 2015-05-01 21:19 UTC  (4+ messages)

[Caml-list] IEEE/ACM UCC 2015: Last Call for Workshop Proposals
 2015-04-30 13:56 UTC 

[Caml-list] Large-Scale and HPC data analysis in bioinformatics, system and synthetic biology - 2nd cfp
 2015-04-30 13:44 UTC 

[Caml-list] OCaml art exhibition in Venice
 2015-04-30 10:33 UTC 

[Caml-list] js_of_ocaml with node
 2015-04-29 22:49 UTC  (12+ messages)

[Caml-list] FHPC '15 Call for Papers
 2015-04-29 19:05 UTC 

[Caml-list] Dependencies between plugins
 2015-04-29 12:00 UTC  (15+ messages)

[Caml-list] phantom type
 2015-04-28  4:35 UTC  (7+ messages)

[Caml-list] gen_js_api: generating Javascript bindings from OCaml interfaces
 2015-04-27 20:42 UTC  (3+ messages)

[Caml-list] inconsistent assumptions over interface
 2015-04-27 15:07 UTC  (5+ messages)

[Caml-list] New software written in OCaml
 2015-04-27 13:19 UTC 

[Caml-list] [CFP] FLOPS 2016
 2015-04-27 11:01 UTC 

[Caml-list] systemd/journal bindings
 2015-04-25 14:20 UTC 

[Caml-list] InfoSec 2015: registration deadline 3 May
 2015-04-25 10:11 UTC 

[Caml-list] OCaml Workshop 2015: 2nd CFP
 2015-04-24 19:30 UTC 

[Caml-list] LOLA 2015: Deadline extended to May 11
 2015-04-23 21:41 UTC 

[Caml-list] TABLEAUX - Call for Papers
 2015-04-22 14:18 UTC 

[Caml-list] [Second call for participation] Spring School about Proofs of Programs using Coq
 2015-04-22  5:17 UTC 

[Caml-list] APLAS 2015: Call for Papers
 2015-04-22  3:36 UTC 

[Caml-list] Suggested way to determine platform specific capabilities in build system?
 2015-04-21 21:36 UTC  (11+ messages)

[Caml-list] AI4FM 2015: Call for Short Contributions
 2015-04-21  8:56 UTC 

[Caml-list] Timeout
 2015-04-21  8:25 UTC  (3+ messages)

[Caml-list] CICM 2015 - Call for Work-in-Progress Papers
 2015-04-21  7:09 UTC 

[Caml-list] Call for Papers: 2nd IEEE/ACM International Conference on Big Data Computing (BDC 2015)
 2015-04-20 15:18 UTC 

[Caml-list] New CFP: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015)
 2015-04-19 13:05 UTC 

[Caml-list] strange integer division result in ocamlopt 
 2015-04-18 23:20 UTC  (2+ messages)

[Caml-list] [ANN] OCaml-openmaple
 2015-04-17 14:38 UTC 

[Caml-list] Polymorphic hash tables
 2015-04-14 12:12 UTC  (2+ messages)

[Caml-list] Module aliases break debugging with ocamldebug
 2015-04-14  4:48 UTC 

[Caml-list] Second CFP: ML 2015
 2015-04-13 23:15 UTC 

[Caml-list] LOLA 2015: Second Call for Talk Proposals
 2015-04-13 16:26 UTC 

[Caml-list] ICECCS 2015: 1st call for papers
 2015-04-13 11:37 UTC 

[Caml-list] Extended Deadline (April 27, 2015): SETS 2015
 2015-04-12 16:51 UTC 

[Caml-list] META file standards for ppx extensions
 2015-04-12  6:00 UTC  (25+ messages)

[Caml-list] SLSP 2015: 1st call for papers
 2015-04-11 15:02 UTC 

[Caml-list] I'd like to keep in touch with you
 2015-04-11  0:55 UTC 

[Caml-list] Take a look to this app
 2015-04-11  0:54 UTC 

page:  |  | 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).