caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
[Caml-list] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications
 2018-04-17 13:09 UTC 

[Caml-list] Would it be possible to add automatic, region-based memory management to OCaml?
 2018-04-17 10:10 UTC  (5+ messages)
    ` [Caml-list] Would it be possible to add automatic, region-based

[Caml-list] First ever rc release of llpp
 2018-04-17  3:46 UTC  (3+ messages)

[Caml-list] PARIS 2018 (FLOC workshop): Deadline extended to *April 25*
 2018-04-16 22:41 UTC 

[Caml-list] Recursive record initialisation
 2018-04-16 21:07 UTC  (2+ messages)

[Caml-list] [ANN] findlib-1.8.0
 2018-04-16 20:06 UTC  (3+ messages)

[Caml-list] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
 2018-04-16 13:03 UTC 

[Caml-list] PhD position at Inria Rennes
 2018-04-16  9:52 UTC 

[Caml-list] DCM'18: Deadline extension (22 April) - EPTCS proceedings after the workshop
 2018-04-16  0:20 UTC 

[Caml-list] Calling Java function from OCaml
 2018-04-15 18:26 UTC  (6+ messages)

[Caml-list] Tezos recrute!/Tezos is recruiting!
 2018-04-15  9:56 UTC 

[Caml-list] OCamlPro recrute/is hiring
 2018-04-13 16:52 UTC 

[Caml-list] 4.07.0+beta2
 2018-04-13 13:49 UTC 

[Caml-list] [ANN] opaline - OPAm Lightweight INstaller Engine
 2018-04-13 12:25 UTC 

[Caml-list] QBFEVAL'18 - Deadline extension
 2018-04-13 11:59 UTC 

[Caml-list] ICTAC 2018 2nd call for papers
 2018-04-13  2:44 UTC 

[Caml-list] Use of ephemerons
 2018-04-12 15:39 UTC  (3+ messages)

[Caml-list] Follow up to: Status of the OCaml RISC-V port (repost)
 2018-04-12 10:54 UTC 

[Caml-list] FLoC 2018 - Last Joint Call for Workshop Papers
 2018-04-11  6:08 UTC 

[Caml-list] Phd/PostDoc position on linear types and session types
 2018-04-10 14:52 UTC 

[Caml-list] ARQNL 2018 Final Call for Papers
 2018-04-09 18:05 UTC 

[Caml-list] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
 2018-04-09 14:45 UTC 

[Caml-list] Follow up to: Status of the OCaml RISC-V port
 2018-04-09 14:11 UTC 

[Caml-list] CICM 2018, final CfP, Abstract submission deadline April 15, 2018
 2018-04-09 12:04 UTC 

[Caml-list] EPIT 2018 Software Verification Spring School, last call
 2018-04-09  9:09 UTC 

[Caml-list] iFM 2081 Call For Papers
 2018-04-09  7:56 UTC 

[Caml-list] TFPIE 2018: First Call for Papers
 2018-04-08 21:26 UTC 

[Caml-list] DCM'18: Deadline extension (15 April)
 2018-04-08 12:05 UTC 

[Caml-list] how to automatically extract a subset of some ocaml code base?
 2018-04-08  8:52 UTC  (4+ messages)

[Caml-list] FLoC 2018 Volunteer Programme Announcement
 2018-04-08  5:46 UTC  (2+ messages)

[Caml-list] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures - CFP
 2018-04-06 13:58 UTC 

[Caml-list] PPDP 2018: Second Call for Papers
 2018-04-05  7:03 UTC 

[Caml-list] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions
 2018-04-04  7:08 UTC 

[Caml-list] ICTCS 2018 @ Urbino - second call for papers
 2018-04-03 17:53 UTC 

[Caml-list] CFP: ACM SIGPLAN Workshop on Functional High-Performance Computing at ICFP 2018
 2018-04-03 16:30 UTC 

[Caml-list] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
 2018-04-03  7:11 UTC 

[Caml-list] Create a deployable application unit from OPAM?
 2018-04-03  0:25 UTC  (7+ messages)

[Caml-list] CICM 2018 - Call for Papers
 2018-04-02 18:53 UTC 

[Caml-list] Hashtbl and shrinking
 2018-04-02  0:34 UTC  (4+ messages)

[Caml-list] Mathematically Structured Functional Programming 2018: Final Call for Papers
 2018-03-31 21:33 UTC 

[Caml-list] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018
 2018-03-31 19:39 UTC 

[Caml-list] Upcoming Deadline for SAS 2018: April 13th
 2018-03-31 17:15 UTC 

[Caml-list] QBFEVAL'18 -- Registration closes in 1 week
 2018-03-30  7:12 UTC 

[Caml-list] Bridging the Gap between Human and Automated Reasoning
 2018-03-29 14:27 UTC 

[Caml-list] SBLP 2018 second call for papers
 2018-03-29 13:09 UTC 

[Caml-list] CSL 2018: Final Call for Papers
 2018-03-29 10:29 UTC 

[Caml-list] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018
 2018-03-26 22:58 UTC 

[Caml-list] DCM'18 Final Call-for-papers (deadline 8 April 2018)
 2018-03-26 14:24 UTC 

[Caml-list] ocamlnet question: get with arbitrary header
 2018-03-26 12:04 UTC  (4+ messages)

[Caml-list] Multiple Positions at FAU Erlangen/Nürnberg
 2018-03-22 18:44 UTC 

[Caml-list] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France
 2018-03-22 14:31 UTC 

[Caml-list] What is the idiomatic way to invoke Merlin (from Ocaml)?
 2018-03-22  8:54 UTC 

[Caml-list] Ackermann Award 2018
 2018-03-21 17:29 UTC 

[Caml-list] On variants, integers and testing
 2018-03-21 14:36 UTC  (7+ messages)

[Caml-list] TSD 2018 - Last Call for Papers, Deadline Extension
 2018-03-20 14:37 UTC 

[Caml-list] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA
 2018-03-20  5:39 UTC 

[Caml-list] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA
 2018-03-20  5:23 UTC 

[Caml-list] CfP: Workshop on Functional High-Performance Computing 2018 at ICFP
 2018-03-19 23:25 UTC 

[Caml-list] Verification and Deduction Mentoring Workshop 2018
 2018-03-19 14:12 UTC 

[Caml-list] OCaml job at Be Sport Paris
 2018-03-19 12:50 UTC 

[Caml-list] [ANN] first release of orsvm-e1071 (SVM from R usable from OCaml)
 2018-03-19  1:33 UTC  (2+ messages)
` [Caml-list] [ANN] first release of orxgboost (gradient-boosted trees from R usable in OCaml)

[Caml-list] Call for Tutorial Proposals: ICFP 2018
 2018-03-18  4:07 UTC 

[Caml-list] FoPPS Logic and Learning School (Oxford, July 1-6)
 2018-03-17  0:01 UTC 

[Caml-list] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP
 2018-03-16 10:22 UTC 

[Caml-list] EJCP 2018 - Appel à participation
 2018-03-16  7:15 UTC 

[Caml-list] [ANN] New caml-list mirror - https://inbox.ocaml.org/caml-list
 2018-03-14  8:25 UTC  (3+ messages)

CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)
 2018-03-13 20:30 UTC 

[Caml-list] Call for Papers F-IDE 2018
 2018-03-13 16:07 UTC 

[Caml-list] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
 2018-03-13  7:48 UTC 

[Caml-list] a question about compiler-libs and Ocaml toplevel
 2018-03-12 10:46 UTC  (4+ messages)

[Caml-list] a question about Ocaml toplevel behavior
 2018-03-12  9:09 UTC  (8+ messages)

[Caml-list] A question about custom toplevels
 2018-03-12  5:50 UTC  (5+ messages)

[Caml-list] OCaml reference manual non-free license
 2018-03-11 11:22 UTC  (4+ messages)

[Caml-list] SAS 2018: Call for Papers
 2018-03-09 15:09 UTC 

[Caml-list] Tarides is looking for software engineers to work on MirageOS and Irmin
 2018-03-09 10:32 UTC 

[Caml-list] Final Call for Papers: PACMPL issue ICFP 2018
 2018-03-08 20:08 UTC 

[Caml-list] PAAR 2018 - Call for Papers
 2018-03-08 14:25 UTC 

[Caml-list] OCaml 4.06.1 FreeBSD
 2018-03-08  7:13 UTC  (5+ messages)

[Caml-list] Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
 2018-03-07 16:28 UTC 

[Caml-list] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
 2018-03-07 14:25 UTC 

[Caml-list] TSD 2018 - Second Call for Papers
 2018-03-06 13:34 UTC 

[Caml-list] VerifyThis 2018: Call for Participation and Travel Grants
 2018-03-06 13:25 UTC 

[Caml-list] QBFEVAL'18 - Call for Contributions
 2018-03-06  8:21 UTC 

[Caml-list] ARQNL 2018 - Call for Papers
 2018-03-03 14:04 UTC 

[Caml-list] Mathematically Structured Functional Programming 2018: Call for Papers
 2018-03-02 12:35 UTC 

[Caml-list] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)
 2018-03-02 12:12 UTC 

[Caml-list] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018
 2018-03-01 17:05 UTC 

[Caml-list] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED **
 2018-03-01  3:09 UTC 

[Caml-list] DCM'18 Third Call for Papers
 2018-02-27 19:21 UTC 

[Caml-list] ICTCS 2018 @ Urbino - call for papers
 2018-02-27 18:41 UTC 

[Caml-list] CfP: SEFM 2018 EXTENDED DEADLINE
 2018-02-26 19:08 UTC 

[Caml-list] AISC 2018 Call for Papers
 2018-02-26 14:38 UTC 

[Caml-list] Status of the OCaml RISC-V port
 2018-02-26 14:20 UTC  (9+ messages)

[Caml-list] Has anybody gotten delimcc to work?
 2018-02-26  5:42 UTC  (7+ messages)

[Caml-list] Workshop HDRA 2018: Call for Papers
 2018-02-22 12:30 UTC 

[Caml-list] VerifyThis 2018: Call for Problems and First Announcement
 2018-02-21 16:10 UTC 

[Caml-list] Special Issue on Commonsense Reasoning - Call for Papers
 2018-02-20 22:14 UTC 

[Caml-list] iFM 2018 Call for Papers
 2018-02-20 20:57 UTC 

[Caml-list] Final CfP: SEFM 2018
 2018-02-20  8:00 UTC 

[Caml-list] RuleML+RR 2018 SECOND CALL FOR PAPERS
 2018-02-19 17:00 UTC 

[Caml-list] cairo 1.2.0 and ocaml 4.06.0
 2018-02-18 18:51 UTC  (2+ messages)

[Caml-list] [fm-announcements] NFM 2018 - Call for Participation
 2018-02-16 21:14 UTC 

[Caml-list] FLoC 2018 - Joint Call for Workshop Papers
 2018-02-16 16:31 UTC 

[Caml-list] Release 4.06.1
 2018-02-16 14:29 UTC 

[Caml-list] 25th AUTOMATED REASONING WORKSHOP 2018
 2018-02-16 13:46 UTC 

[Caml-list] First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
 2018-02-16 13:24 UTC 

[Caml-list] SAT/SMT/AR Summer School 2018
 2018-02-15 16:55 UTC 

[Caml-list] a question about syntax
 2018-02-15  1:17 UTC  (6+ messages)

[Caml-list] why does "opam install graphics" fail?
 2018-02-14 19:58 UTC  (14+ messages)

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