caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] [ANN] OCaml hacking evening in Cambridge, (MA, *US*) on June 6th
 2017-06-02 19:01 UTC 

[Caml-list] Delimcc bug
 2017-06-02 15:52 UTC  (4+ messages)

[Caml-list] 3rd CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)
 2017-06-02 15:22 UTC 

[Caml-list] [rfc] deprecating opam 1.2.0
 2017-06-02 13:31 UTC  (3+ messages)

[Caml-list] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury
 2017-06-02 10:14 UTC 

[Caml-list] LOPSTR 2017: 2nd Call for Papers
 2017-06-02 10:13 UTC 

[Caml-list] 2nd Call for Papers: Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
 2017-06-01 19:02 UTC 

[Caml-list] TABLEAUX/FroCoS/ITP - Call for Posters
 2017-06-01 13:01 UTC 

[Caml-list] pic version of libasmrun not used
 2017-05-31 12:16 UTC  (3+ messages)

[Caml-list] [ANN] Odig 0.0.2
 2017-05-31 10:18 UTC 

[Caml-list] OCaml workshop 2017: call for presentations
 2017-05-30 14:39 UTC  (3+ messages)

[Caml-list] [ANN] qcheck 0.6
 2017-05-30 13:44 UTC 

[Caml-list] CADE-26 - Call for Participation
 2017-05-30 11:32 UTC 

[Caml-list] enabling warnings using compiler-libs
 2017-05-29 23:17 UTC  (3+ messages)

[Caml-list] Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017
 2017-05-29 16:56 UTC 

[Caml-list] [ANN] utop 2.0.0
 2017-05-29 11:15 UTC 

[Caml-list] Support de l'UTF16
 2017-05-29  8:30 UTC  (3+ messages)

[Caml-list] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
 2017-05-29  7:12 UTC 

[Caml-list] Final CFP: ML Family Workshop 2017
 2017-05-28 18:04 UTC 

[Caml-list] LSFA'17: Third Call for Papers
 2017-05-26 14:08 UTC 

[Caml-list] a question about Ocaml semantics
 2017-05-26  9:09 UTC  (3+ messages)

[Caml-list] CILC 2017: call for papers---extended deadlines
 2017-05-26  7:54 UTC 

[Caml-list] New version (1.3) of interval programming library / Nouvelle version (1.3) de la libraire de programmation par intervalle
 2017-05-26  6:02 UTC 

[Caml-list] [ANN] BuckleScript 1.7.4
 2017-05-25 21:39 UTC 

[Caml-list] FHPC'17: submission deadline extended to 2nd of June
 2017-05-25 21:36 UTC 

[Caml-list] Last call for talk proposals: Higher-Order Programming with Effects, HOPE 2017
 2017-05-24  9:23 UTC 

[Caml-list] CILC 2017 call for paper: deadline approaching
 2017-05-23  9:04 UTC 

[Caml-list] CILC 2017 call for paper: deadline approaching
 2017-05-23  8:50 UTC 

[Caml-list] [ANN] v0.9 release of Jane Street packages
 2017-05-22 16:36 UTC 

[Caml-list] [ANN] findlib-1.7.2
 2017-05-21 15:09 UTC 

[Caml-list] EUTYPES summer school in Ohrid, call for applications
 2017-05-20 13:42 UTC 

[Caml-list] How to provide additional options for cppo in oasis?
 2017-05-19 14:43 UTC  (2+ messages)

[Caml-list] Best practices for avoiding global module name clashes?
 2017-05-19 10:16 UTC  (2+ messages)

[Caml-list] ANN: New release of the Albatross compiler available via opam
 2017-05-17 13:57 UTC 

[Caml-list] Change policy on beginners list?
 2017-05-17  0:17 UTC  (19+ messages)
              ` [Caml-list] discuss.ocaml.org now available

[Caml-list] installing emacs mode
 2017-05-16 18:54 UTC  (3+ messages)

[Caml-list] type inference of record field that is an array
 2017-05-16 17:05 UTC  (2+ messages)

[Caml-list] Policy to merge pull requests in the opam repository
 2017-05-16 16:11 UTC  (7+ messages)
` [Caml-list] Fwd: "

[Caml-list] Human-friendly Lwt: documenting and refactoring the Lwt core
 2017-05-15 15:00 UTC 

[Caml-list] EJCP 2017 - dernier appel à participation
 2017-05-15  7:35 UTC 

[Caml-list] [ANN] Snabela 1.0: Logic-less @templates@
 2017-05-15  6:03 UTC 

[Caml-list] CfP Summer School on Information Security and Protection (ISSISP), July 17-21, Gif-sur-Yvette / Paris, France
 2017-05-14 15:29 UTC 

[Caml-list] [ANN] Clarity - functional programming library for OCaml
 2017-05-13 19:03 UTC  (2+ messages)

[Caml-list] Is there a way to abort Stream.iter ?
 2017-05-13 12:25 UTC  (3+ messages)

[Caml-list] Question on "more general"
 2017-05-12 13:49 UTC  (6+ messages)

[Caml-list] Change policy on beginners list?
 2017-05-11 20:30 UTC  (5+ messages)

[Caml-list] MEMOCODE-2017 (Deadline Extension)
 2017-05-11 12:52 UTC 

[Caml-list] PPX is harmful to our community in the long term
 2017-05-11  9:37 UTC  (7+ messages)

[Caml-list] menhir should reference source file and not generated source file
 2017-05-11  2:28 UTC  (5+ messages)

[Caml-list] Type generalization confusion
 2017-05-10 18:14 UTC  (8+ messages)

[Caml-list] filling function pointers with oasis
 2017-05-10 16:19 UTC 

[Caml-list] 2nd CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)
 2017-05-10 14:25 UTC 

[Caml-list] Installing library with hidden modules
 2017-05-10 12:43 UTC  (6+ messages)

[Caml-list] Second call for talk proposals: Higher-Order Programming with Effects, HOPE 2017
 2017-05-10 11:04 UTC 

[Caml-list] TFPIE - Trends in Functional Programming in Education 2017 - Deadline extended to 17 May
 2017-05-09 18:54 UTC 

[Caml-list] Transforming side-effects to a monad
 2017-05-09 17:15 UTC  (3+ messages)

[Caml-list] OCaml-ncurses bindings
 2017-05-08 13:07 UTC 

[Caml-list] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
 2017-05-08  8:36 UTC 

[Caml-list] Second CFP: ML Family Workshop 2017
 2017-05-07 23:05 UTC 

[Caml-list] First class module syntax
 2017-05-06  8:00 UTC  (5+ messages)

[Caml-list] FW: can you provide omake installer(msi) for windows
 2017-05-05 15:07 UTC 

[Caml-list] CAV 2017: Call for participation
 2017-05-05 13:37 UTC 

[Caml-list] GCAI 2017 in Miami - Call for Papers
 2017-05-04 13:12 UTC 

[Caml-list] PPDP 2017: Call For Papers (Abstract 12 May / Paper 19 May)
 2017-05-04  8:30 UTC 

[Caml-list] [ANN] tjr_btree 0.1.0 (initial release)
 2017-05-04  8:24 UTC 

[Caml-list] 2nd CFP: Workshop on Type-driven Development (TyDe '17)
 2017-05-03 18:00 UTC 

[Caml-list] ocamlfind does not find pinned packages
 2017-05-03 13:20 UTC  (3+ messages)

[Caml-list] Linking with zlib on ubuntu
 2017-05-02 20:40 UTC  (4+ messages)

[Caml-list] [jobs] OCaml / Ocsigen developer positions
 2017-05-02 16:00 UTC 

[Caml-list] HDRA 2017: Call for Papers
 2017-05-02 12:36 UTC 

[Caml-list] Kernkonzept is hiring!
 2017-05-02  7:49 UTC 

[Caml-list] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis
 2017-05-02  7:17 UTC 

[Caml-list] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
 2017-05-01 13:51 UTC 

[Caml-list] [ANN] aws-s3 0.9.0
 2017-04-29 17:10 UTC 

[Caml-list] Performance degradation when using '=' instead of 'compare'
 2017-04-28 15:21 UTC  (2+ messages)

[Caml-list] Formal Methods in Computer-Aided Design - Final Call for Papers
 2017-04-28 14:20 UTC 

[Caml-list] Create Array of floats from string
 2017-04-28 12:19 UTC  (10+ messages)
      ` [Caml-list] Create Array of floats from string, surprise

[Caml-list] Trends in Functional Programming in Education TFPIE 2017, Canterbury 22 June, SECOND CALL FOR PAPERS
 2017-04-28  8:50 UTC 

[Caml-list] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
 2017-04-27  9:53 UTC 

[Caml-list] 4th Vampire Workshop - Call for Papers
 2017-04-26 21:12 UTC 

[Caml-list] a question about Ocaml semantics
 2017-04-26 20:09 UTC  (2+ messages)

[Caml-list] 100-line compiler written in OCaml using LLVM reloaded
 2017-04-26 11:58 UTC  (3+ messages)

[Caml-list] ARCADE - 2nd Call for Papers
 2017-04-25 15:21 UTC 

[Caml-list] VSTTE 2017 - Deadline Extension
 2017-04-25 10:30 UTC 

[Caml-list] [sujet de thèse] déobfuscation et analyse de malware (CEA-LORIA, deadline 15 mai)
 2017-04-25  8:14 UTC 

[Caml-list] CUFP 2017 Call for Tutorials
 2017-04-25  6:46 UTC 

[Caml-list] char/line-numbers in error-messages from data-structures bulit via ocamllex?
 2017-04-24 20:30 UTC  (2+ messages)

[Caml-list] PPX is harmful to our community in the long term
 2017-04-23  1:30 UTC  (3+ messages)

[Caml-list] PPX is harmful to our community in the long term
 2017-04-23  1:25 UTC  (2+ messages)

[Caml-list] PPX is harmful to our community in the long term
 2017-04-22 12:49 UTC  (3+ messages)

[Caml-list] [ANN] BuckleScript 1.7
 2017-04-21 20:46 UTC 

[Caml-list] DL 2017 - Last Call for Papers
 2017-04-21 19:47 UTC 

[Caml-list] PPX is harmful to our community in the long term
 2017-04-21 19:22 UTC  (8+ messages)

[Caml-list] SMT 2017 Workshop - CFP
 2017-04-21 16:14 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).