[Caml-list] Jane Street development opam repository
2017-03-20 13:48 UTC
[Caml-list] Call for Participation: RAMiCS, May 15-18, Lyon, France
2017-03-20 9:39 UTC
[Caml-list] [Question] Named pipe on Windows
2017-03-18 2:24 UTC (7+ messages)
` [Caml-list] "
[Caml-list] FGCS SI: Key Management and Key Distribution for Secure Group Communication in Mobile and Cloud Network (due on May 5, 2017)
2017-03-17 18:54 UTC
[Caml-list] [iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017
2017-03-17 16:23 UTC
[Caml-list] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017
2017-03-17 14:37 UTC
[Caml-list] Preview: B-tree library
2017-03-16 17:47 UTC (6+ messages)
[Caml-list] [ANN] visitors
2017-03-16 15:33 UTC (10+ messages)
[Caml-list] ITP and FroCoS - Final CFP
2017-03-15 17:45 UTC
[Caml-list] CILC 2017: Preliminary Call For Papers
2017-03-15 17:34 UTC
[Caml-list] [ICLP 2017] Extended deadline
2017-03-14 23:03 UTC
[Caml-list] [ANN] New release of visitors
2017-03-14 17:28 UTC (5+ messages)
[Caml-list] PLDI ACM Student Research Competition (SRC)
2017-03-14 11:24 UTC
[Caml-list] OCamlgraph Strongly Connected components
2017-03-13 12:18 UTC (4+ messages)
[Caml-list] Ackermann Award 2017
2017-03-13 9:52 UTC
[Caml-list] Native compiler liveness failure
2017-03-10 17:31 UTC (6+ messages)
[Caml-list] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017
2017-03-10 16:25 UTC
[Caml-list] [ANN] Jbuilder 1.0+beta1
2017-03-10 14:13 UTC (2+ messages)
[Caml-list] EJCP 2017 - Appel à participation
2017-03-10 7:10 UTC
[Caml-list] <Programming> 2017: Call for participation
2017-03-09 14:07 UTC
[Caml-list] [ANN] ocamlbuild 0.11.0
2017-03-08 20:58 UTC
[Caml-list] MEMOCODE-2017 (Call for Papers)
2017-03-08 14:52 UTC
[Caml-list] [ANN] libbin_prot, php-bin_prot, ppx_bin_prot_interop
2017-03-08 13:10 UTC (3+ messages)
[Caml-list] [fm-announcements] ITP 2017 - Final Call for Papers
2017-03-07 19:56 UTC
[Caml-list] Updated Import Export data
2017-03-07 14:38 UTC
[Caml-list] LPAR-21 Short Presentation Papers - Call for Papers
2017-03-06 20:09 UTC
[Caml-list] FSCD 2017 - Second Call for Papers
2017-03-06 15:12 UTC
[Caml-list] TABLEAUX 2017 - Final Call for Papers
2017-03-06 14:09 UTC
[Caml-list] CSL2017: Final Call for Papers
2017-03-06 9:34 UTC
[Caml-list] RERS: 7th International Challenge on the Rigorous Examination of Reactive Systems
2017-03-04 22:30 UTC
[Caml-list] [fm-announcements] RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017
2017-03-04 22:27 UTC
[Caml-list] researcher permanent position at ONERA, Toulouse
2017-03-03 16:52 UTC
[Caml-list] [ANN] Cmdliner 1.0.0
2017-03-03 9:00 UTC (4+ messages)
[Caml-list] Does someone has a Haskell parser for .mli files?
2017-03-02 14:30 UTC
[Caml-list] [ANN] BuckleScript 1.5 - First class support for Reason syntax
2017-03-01 17:37 UTC
[Caml-list] [ANN] BuckleScript 1.5 - First class support for Reason syntax
2017-03-01 17:26 UTC (2+ messages)
[Caml-list] Menhir incremental api with ocamlbuild
2017-03-01 13:49 UTC (4+ messages)
[Caml-list] Marktoberdorf Summer School: Call for Participation
2017-03-01 11:07 UTC
[Caml-list] [ANN] BuckleScript 1.5 - First class support for Reason syntax
2017-03-01 8:30 UTC (2+ messages)
[Caml-list] GPCE 2017 - 1st Call for Papers
2017-03-01 8:24 UTC
[Caml-list] ETAPS 2017 early registration deadline approaching
2017-02-28 20:53 UTC
[Caml-list] Call For Presentations: Compose 2017, New York, May 18-19
2017-02-27 21:32 UTC
[Caml-list] ECOOP/PLDI 2017 in Barcelona / Call for Student Participation
2017-02-27 11:19 UTC
[Caml-list] Hoogle for your language (i.e. F#, Scala, ML, Clean...)
2017-02-26 19:02 UTC (2+ messages)
[Caml-list] typechecking in 4.05+beta2
2017-02-24 18:19 UTC (4+ messages)
[Caml-list] Initializing CAMLlocalX values to Val_unit
2017-02-24 13:58 UTC (4+ messages)
[Caml-list] OCamldebug
2017-02-24 9:28 UTC (9+ messages)
[Caml-list] [ANN] mirage 3.0.0
2017-02-23 18:04 UTC (2+ messages)
[Caml-list] Duplicate value specifications
2017-02-23 16:44 UTC (2+ messages)
[Caml-list] Trends in Functional Programming in Education ITFPIE) 2017, call for papers
2017-02-23 10:38 UTC
[Caml-list] List of structurally typed objects
2017-02-22 20:17 UTC (14+ messages)
` [Caml-list] Warning for unused variables
[Caml-list] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software
2017-02-22 17:23 UTC
[Caml-list] Formalization of Geometry, Automated and Interactive Geometric Reasoning
2017-02-22 13:13 UTC
[Caml-list] NFM 2017 - Call For Participation
2017-02-21 21:54 UTC
[Caml-list] Is the IRILL CUDF solver farm down?
2017-02-20 21:49 UTC (2+ messages)
[Caml-list] [ANN] codept 0.9: an alternative dependency analyzer for ocaml projects
2017-02-20 17:29 UTC (2+ messages)
[Caml-list] AMMCS-2017 call for submissions
2017-02-19 19:31 UTC
[Caml-list] OCaml+spacetime crashes during camlp5 compilation
2017-02-19 8:43 UTC (13+ messages)
[Caml-list] ocamlyacc missing from the beta
2017-02-17 15:53 UTC
[Caml-list] VSTTE 2017 - First Call for Papers
2017-02-17 14:33 UTC
[Caml-list] OCaml 4.05.0+beta1
2017-02-17 14:28 UTC
[Caml-list] [CFP] CrossFyre 2017 awaits your submissions!
2017-02-17 12:33 UTC
[Caml-list] CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017
2017-02-16 5:37 UTC
[Caml-list] Final Call for Papers: ICFP 2017
2017-02-16 4:42 UTC
[Caml-list] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
2017-02-15 15:15 UTC
[Caml-list] ITNG 2017: Call for Participation and Posters, Las Vegas, Nevada, USA, April 10-12, 2017
2017-02-14 18:42 UTC
[Caml-list] Prochain meetup OUPS 21 février 2017 / Next OUPS meetup, Feb. 21th 2017
2017-02-14 7:48 UTC
[Caml-list] private object constructor?
2017-02-13 19:11 UTC (3+ messages)
[Caml-list] [ANN] BuckleScript 1.4.3 - Link time dead code elimination
2017-02-13 15:57 UTC
[Caml-list] How is the frametable handled when throwing exceptions?
2017-02-13 15:13 UTC (5+ messages)
[Caml-list] 1st CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)
2017-02-13 11:36 UTC
[Caml-list] [ANN] release of containers-1.0
2017-02-12 11:58 UTC (2+ messages)
[Caml-list] CFP International Workshop on Practical Aspects of Answer Set Programming at LPNMR, Espoo, Finland, 3 July 2017
2017-02-10 18:44 UTC
[Caml-list] TABLEAUX/FroCoS/ITP Call for Posters
2017-02-10 17:56 UTC
[Caml-list] extend object type?
2017-02-10 16:43 UTC
[Caml-list] namespace inside object?
2017-02-10 15:49 UTC (12+ messages)
[Caml-list] extend object type?
2017-02-10 14:49 UTC
[Caml-list] extend object type?
2017-02-10 9:42 UTC (3+ messages)
[Caml-list] first official release of Hoogle for OCaml programmers
2017-02-09 20:41 UTC
[Caml-list] [ANN] Ocsigen Start and Ocsigen Toolkit: Quick Web and mobile app in OCaml
2017-02-09 15:32 UTC
[Caml-list] intersections of polymorphic variants
2017-02-09 15:15 UTC (4+ messages)
[Caml-list] Is there some builtin function that flushes buffers on shutdown?
2017-02-09 12:53 UTC (6+ messages)
[Caml-list] Opam 2.0.0~beta is out!
2017-02-09 12:42 UTC (2+ messages)
[Caml-list] Merlin: how to enable local ppx preprocessor?
2017-02-09 12:10 UTC (3+ messages)
[Caml-list] opening a module within a class definition
2017-02-09 10:04 UTC (3+ messages)
[Caml-list] Help with recursive modules and functors
2017-02-08 22:28 UTC (3+ messages)
[Caml-list] better "encapsulation" for type Digest.t ?
2017-02-08 13:04 UTC
[Caml-list] ANN: parallpairs
2017-02-08 6:30 UTC
[Caml-list] ARCADE Call for Papers
2017-02-07 17:04 UTC
[Caml-list] [fm-announcements] SPIN 2017 - Paper Submission: Extended to February 17
2017-02-07 16:36 UTC
[Caml-list] 2015 ML & OCaml post-proceedings now available
2017-02-07 10:04 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).