caml-list - the Caml user's mailing list
 help / Atom feed
[Caml-list] [ANN] Uucd, Uucp, Uunf and Uuseg for Unicode 11.0.0
 2018-06-09 16:36 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018)
 2018-06-09  3:34 UTC  - mbox.gz / Atom

[Caml-list] 23rd International Conference on Engineering Complex Systems - Call for Papers
 2018-06-08  2:30 UTC  - mbox.gz / Atom

[Caml-list] ACTIONS@KR18: CALL FOR CONTRIBUTIONS
 2018-06-07 13:23 UTC  - mbox.gz / Atom

[Caml-list] XPath implementation or equivalent
 2018-06-07  9:00 UTC  (5+ messages) - mbox.gz / Atom

[Caml-list] FINAL REMINDER: KR 2018 Doctoral Consortium Call for Papers
 2018-06-07  1:36 UTC  - mbox.gz / Atom

[Caml-list] Final CFP HOPE 2018
 2018-06-04 15:55 UTC  - mbox.gz / Atom

[Caml-list] Mathematically Structured Functional Programming 2018: Call for Participation
 2018-06-04 13:14 UTC  - mbox.gz / Atom

[Caml-list] Inconsistent assumptions over interface
 2018-06-02 20:03 UTC  (4+ messages) - mbox.gz / Atom

[Caml-list] OCaml for cloud-native apps
 2018-06-02 19:56 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie"
 2018-06-01 21:30 UTC  - mbox.gz / Atom

[Caml-list] ML Family Workshop 2018: Deadline extension until June 6th
 2018-06-01 17:05 UTC  - mbox.gz / Atom

[Caml-list] EJCP 2018 - Dernier appel à participation
 2018-06-01 14:34 UTC  - mbox.gz / Atom

[Caml-list] LPAR-22 in Ethiopia - Call for Papers and Workshops
 2018-05-31 19:53 UTC  - mbox.gz / Atom

[Caml-list] [ANNOUNCE] llpp v28
 2018-05-30 14:34 UTC  (3+ messages) - mbox.gz / Atom

[Caml-list] OCaml Users and Developers Workshop 2018: Call for presentations
 2018-05-29 11:14 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] ML Family Workshop 2018: Call for presentations
 2018-05-28 13:23 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] CFP SSS 2018, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 4-7, 2018, Tokyo, Japan
 2018-05-28  1:21 UTC  - mbox.gz / Atom

[Caml-list] GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5,6 2018
 2018-05-27 21:25 UTC  - mbox.gz / Atom

[Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie"
 2018-05-24  8:20 UTC  - mbox.gz / Atom

[Caml-list] CASC-J9 - the ATP System Competition
 2018-05-23 22:07 UTC  - mbox.gz / Atom

[Caml-list] Functional Programming @ DFINITY
 2018-05-23  6:56 UTC  (3+ messages) - mbox.gz / Atom
` [Caml-list] int of infinity = 0

[Caml-list] OCaml for cloud-native apps
 2018-05-22 14:07 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] First Call for Papers: FSEN 2019
 2018-05-22 12:15 UTC  - mbox.gz / Atom

[Caml-list] [ANN] opam 2.0.0 Release Candidate 2 is out!
 2018-05-22  9:38 UTC  - mbox.gz / Atom

[Caml-list] OCaml/Reason/MirageOS Internships at SAP Innovation Center Network (Postdam, Germany)
 2018-05-21 20:25 UTC  - mbox.gz / Atom

[Caml-list] FLoC 2018: Programme now live and accommodation booking fast
 2018-05-21 14:13 UTC  - mbox.gz / Atom

[Caml-list] 2nd CfP: Workshop on Functional High-Performance Computing 2018 at ICFP
 2018-05-20 18:33 UTC  - mbox.gz / Atom

[Caml-list] OCaml DocJam on May 18-20: call for participation
 2018-05-17 23:26 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] Extended deadline ICTCS 2018 - Urbino (Italy)
 2018-05-17 12:05 UTC  - mbox.gz / Atom

[Caml-list] Prochain meetup OUPS 23 mai 2018 / Next OUPS meetup, May 23rd 2018
 2018-05-16  9:51 UTC  - mbox.gz / Atom

[Caml-list] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018)
 2018-05-15 16:14 UTC  - mbox.gz / Atom

[Caml-list] a bad value detector
 2018-05-12 10:54 UTC  (6+ messages) - mbox.gz / Atom

[Caml-list] Porting old-style ppx to driver-style?
 2018-05-11  1:19 UTC  (3+ messages) - mbox.gz / Atom

[Caml-list] [HOPE 2018] Call for Presentations
 2018-05-09 17:51 UTC  - mbox.gz / Atom

[Caml-list] [ANN] ocamlnet-4.1.6
 2018-05-08  9:35 UTC  - mbox.gz / Atom

[Caml-list] an implicit GC rule?
 2018-05-07 17:02 UTC  (6+ messages) - mbox.gz / Atom
    ` [Caml-list] [ANN] Release 2.8.5 of Caph, a functional/dataflow language for programming FPGAs

[Caml-list] [URGENT] To all macOS/BSD opam users: critical problem with camlp5 7.03
 2018-05-07  9:50 UTC  - mbox.gz / Atom

[Caml-list] ICTCS 2018 @ Urbino - second call for papers
 2018-05-05 15:32 UTC  (2+ messages) - mbox.gz / Atom
` [Caml-list] ICTCS 2018 @ Urbino - last "

[Caml-list] Instruction sequences, compressed instructions in the RISC-V port
 2018-05-05  6:50 UTC  - mbox.gz / Atom

[Caml-list] EJCP 2018 - Appel à participation
 2018-05-02  8:33 UTC  - mbox.gz / Atom

[Caml-list] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
 2018-05-01  5:27 UTC  - mbox.gz / Atom

[Caml-list] [ANN] Rfsm 1.0
 2018-04-30 15:17 UTC  (3+ messages) - mbox.gz / Atom

[Caml-list] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -
 2018-04-30  9:31 UTC  - mbox.gz / Atom

[Caml-list] Type That's Concrete From Within A Library Abstract From Without
 2018-04-29 10:39 UTC  (10+ messages) - mbox.gz / Atom

[Caml-list] [ANN] ELPI 1.0 released
 2018-04-27 15:31 UTC  - mbox.gz / Atom

[Caml-list] 4.07.0+beta2
 2018-04-26 17:47 UTC  (3+ messages) - mbox.gz / Atom
` [Caml-list] i686 linker failures - defined in discarded section (was: Re: 4.07.0+beta2)

[Caml-list] Advices on JITting
 2018-04-26 17:11 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] Numerical Programming in Functional Languages (CfP)
 2018-04-26 13:24 UTC  - mbox.gz / Atom

[Caml-list] PPDP 2018: Deadline Extension!
 2018-04-24 13:40 UTC  - mbox.gz / Atom

[Caml-list] Sys.signal / Sys.set_signal broken in native code?
 2018-04-22 13:34 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] [ANN] opaline - OPAm Lightweight INstaller Engine
 2018-04-22  9:18 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] Why doesn't relaxed value restriction apply here?
 2018-04-21 11:35 UTC  (5+ messages) - mbox.gz / Atom

[Caml-list] [ANNOUNCE] llpp v27
 2018-04-20 10:15 UTC  - mbox.gz / Atom

[Caml-list] CASC-J9 - the ATP System Competition - Call for Systems
 2018-04-19 18:28 UTC  - mbox.gz / Atom

[Caml-list] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED **
 2018-04-18 15:14 UTC  - mbox.gz / Atom

[Caml-list] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers
 2018-04-18 15:13 UTC  - mbox.gz / Atom

[Caml-list] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)
 2018-04-18  6:20 UTC  - mbox.gz / Atom

[Caml-list] FLoC 2018 - Call for Participation
 2018-04-17 14:17 UTC  - mbox.gz / Atom

[Caml-list] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications
 2018-04-17 13:35 UTC  - mbox.gz / Atom

[Caml-list] Would it be possible to add automatic, region-based memory management to OCaml?
 2018-04-17 10:03 UTC  (5+ messages) - mbox.gz / Atom
    ` [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) - mbox.gz / Atom

[Caml-list] PARIS 2018 (FLOC workshop): Deadline extended to *April 25*
 2018-04-16 23:08 UTC  - mbox.gz / Atom

[Caml-list] Recursive record initialisation
 2018-04-16 21:08 UTC  (2+ messages) - mbox.gz / Atom

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

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

[Caml-list] PhD position at Inria Rennes
 2018-04-16  9:52 UTC  - mbox.gz / Atom

[Caml-list] DCM'18: Deadline extension (22 April) - EPTCS proceedings after the workshop
 2018-04-16  0:24 UTC  - mbox.gz / Atom

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

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

[Caml-list] OCamlPro recrute/is hiring
 2018-04-13 21:55 UTC  - mbox.gz / Atom

[Caml-list] QBFEVAL'18 - Deadline extension
 2018-04-13 12:06 UTC  - mbox.gz / Atom

[Caml-list] ICTAC 2018 2nd call for papers
 2018-04-13  2:49 UTC  - mbox.gz / Atom

[Caml-list] Use of ephemerons
 2018-04-12 15:42 UTC  (3+ messages) - mbox.gz / Atom

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

[Caml-list] FLoC 2018 - Last Joint Call for Workshop Papers
 2018-04-11  7:04 UTC  - mbox.gz / Atom

[Caml-list] Phd/PostDoc position on linear types and session types
 2018-04-10 14:53 UTC  - mbox.gz / Atom

[Caml-list] ARQNL 2018 Final Call for Papers
 2018-04-09 18:18 UTC  - mbox.gz / Atom

[Caml-list] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
 2018-04-09 14:52 UTC  - mbox.gz / Atom

[Caml-list] Follow up to: Status of the OCaml RISC-V port
 2018-04-09 14:12 UTC  - mbox.gz / Atom

[Caml-list] CICM 2018, final CfP, Abstract submission deadline April 15, 2018
 2018-04-09 12:19 UTC  - mbox.gz / Atom

[Caml-list] EPIT 2018 Software Verification Spring School, last call
 2018-04-09  9:10 UTC  - mbox.gz / Atom

[Caml-list] iFM 2081 Call For Papers
 2018-04-09  9:05 UTC  - mbox.gz / Atom

[Caml-list] TFPIE 2018: First Call for Papers
 2018-04-08 21:27 UTC  - mbox.gz / Atom

[Caml-list] DCM'18: Deadline extension (15 April)
 2018-04-08 12:07 UTC  - mbox.gz / Atom

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

[Caml-list] FLoC 2018 Volunteer Programme Announcement
 2018-04-08  5:47 UTC  (2+ messages) - mbox.gz / Atom

[Caml-list] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures - CFP
 2018-04-06 14:19 UTC  - mbox.gz / Atom

[Caml-list] PPDP 2018: Second Call for Papers
 2018-04-05  7:10 UTC  - mbox.gz / Atom

[Caml-list] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions
 2018-04-04  7:14 UTC  - mbox.gz / Atom

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

[Caml-list] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
 2018-04-03  7:22 UTC  - mbox.gz / Atom

[Caml-list] Create a deployable application unit from OPAM?
 2018-04-03  0:26 UTC  (7+ messages) - mbox.gz / Atom

[Caml-list] CICM 2018 - Call for Papers
 2018-04-02 18:57 UTC  - mbox.gz / Atom

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

[Caml-list] Mathematically Structured Functional Programming 2018: Final Call for Papers
 2018-03-31 21:34 UTC  - mbox.gz / Atom

[Caml-list] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018
 2018-03-31 19:46 UTC  - mbox.gz / Atom

[Caml-list] Upcoming Deadline for SAS 2018: April 13th
 2018-03-31 17:33 UTC  - mbox.gz / Atom

[Caml-list] QBFEVAL'18 -- Registration closes in 1 week
 2018-03-30  8:51 UTC  - mbox.gz / Atom

[Caml-list] Bridging the Gap between Human and Automated Reasoning
 2018-03-29 14:51 UTC  - mbox.gz / Atom

[Caml-list] SBLP 2018 second call for papers
 2018-03-29 13:09 UTC  - mbox.gz / Atom

[Caml-list] CSL 2018: Final Call for Papers
 2018-03-29 10:30 UTC  - mbox.gz / Atom

[Caml-list] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018
 2018-03-26 23:06 UTC  - mbox.gz / Atom

[Caml-list] DCM'18 Final Call-for-papers (deadline 8 April 2018)
 2018-03-26 14:25 UTC  - mbox.gz / Atom

[Caml-list] ocamlnet question: get with arbitrary header
 2018-03-26 12:19 UTC  (4+ messages) - mbox.gz / Atom

[Caml-list] Multiple Positions at FAU Erlangen/Nürnberg
 2018-03-22 18:46 UTC  - mbox.gz / Atom

[Caml-list] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France
 2018-03-22 15:38 UTC  - mbox.gz / Atom

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

[Caml-list] Ackermann Award 2018
 2018-03-21 17:38 UTC  - mbox.gz / Atom

[Caml-list] On variants, integers and testing
 2018-03-21 14:37 UTC  (5+ messages) - mbox.gz / Atom

[Caml-list] TSD 2018 - Last Call for Papers, Deadline Extension
 2018-03-21  7:27 UTC  - mbox.gz / Atom

[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:43 UTC  - mbox.gz / Atom

[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:29 UTC  - mbox.gz / Atom

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

[Caml-list] Verification and Deduction Mentoring Workshop 2018
 2018-03-19 14:47 UTC  - mbox.gz / Atom

page:   latest

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox