[Caml-list] cmdliner difficulties
2018-07-29 6:59 UTC (7+ messages)
[Caml-list] [ANN] opam 2.0.0 RC4-final is out!
2018-07-27 7:58 UTC (2+ messages)
[Caml-list] PhD Positions in Computer Science at IMT- Lucca - Deadline Approaching
2018-07-26 15:09 UTC
[Caml-list] Unix.truncate for Windows
2018-07-25 10:35 UTC (2+ messages)
[Caml-list] ICTCS 2018 @ Urbino - first call for participation
2018-07-22 18:12 UTC
[Caml-list] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"
2018-07-20 13:33 UTC
[Caml-list] Problem with ocamldebug 4.06.0
2018-07-19 16:24 UTC (3+ messages)
[Caml-list] opam install postgresql fail on 4.06.1 and 4.07.0
2018-07-18 0:36 UTC (4+ messages)
[Caml-list] Last CFP: SSS 2018 (submission extended to July 18)
2018-07-16 4:09 UTC
[Caml-list] Interop between racket and ocaml
2018-07-16 2:22 UTC (2+ messages)
[Caml-list] Recursive Types and -rectypes
2018-07-14 14:34 UTC (3+ messages)
[Caml-list] [ANN] Sundials/ML 3.1.1
2018-07-14 13:21 UTC
[Caml-list] ACTIONS@KR18: DEADLINE EXTENSION
2018-07-13 9:12 UTC
[Caml-list] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)
2018-07-12 12:26 UTC
[Caml-list] JFLA 2019 : 1er appel à communications
2018-07-12 8:58 UTC
[Caml-list] [ANN] Stdcompat 5
2018-07-12 7:06 UTC
[Caml-list] OCaml release 4.07.0
2018-07-12 0:11 UTC (4+ messages)
[Caml-list] KR 2018 ** WORKSHOP DEADLINES EXTENDED **
2018-07-11 18:15 UTC
[Caml-list] [ANN] Dune 1.0.0
2018-07-11 10:15 UTC
[Caml-list] Mapping between ocamlbuild and ocamlc versions
2018-07-08 22:03 UTC (8+ messages)
[Caml-list] PPDP 2018: Call for Participation
2018-07-06 15:25 UTC
[Caml-list] Second Call for Papers: FSEN 2019
2018-07-06 13:24 UTC
[Caml-list] Type That's Concrete From Within A Library Abstract From Without
2018-07-06 9:03 UTC (13+ messages)
[Caml-list] OCamlnet: handling TLS-errors
2018-07-01 23:29 UTC
[Caml-list] Poste d'ingénieur-chercheur au CEA List : BlockChain et langages fonctionnels
2018-07-01 19:44 UTC
[Caml-list] Merlin complaining about let%test
2018-06-29 9:04 UTC (4+ messages)
[Caml-list] Prochain meetup OUPS 5 juillet 2018 / Next OUPS meetup, July 5th 2018
2018-06-26 7:13 UTC
[Caml-list] Call for Presentations and Demonstrations: Workshop on Functional High-Performance Computing 2018 at ICFP
2018-06-25 22:35 UTC
[Caml-list] FLoC 2018 - Last Joint Call for Workshop Participation
2018-06-22 9:25 UTC
[Caml-list] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial
2018-06-22 6:46 UTC
[Caml-list] OCaml 4.07.0+rc1
2018-06-20 13:44 UTC (5+ messages)
[Caml-list] FLoC 2018 - Last Call for Participation
2018-06-19 21:13 UTC
[Caml-list] [ANN] Omod 0.0.1
2018-06-19 18:36 UTC (2+ messages)
` [Caml-list] [ANN] Omod 0.0.2
[Caml-list] SAS 2018 - Call for Participation
2018-06-18 15:57 UTC
[Caml-list] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18)
2018-06-18 9:51 UTC
[Caml-list] a question about GADTs
2018-06-17 9:50 UTC (7+ messages)
[Caml-list] Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)
2018-06-15 8:45 UTC
[Caml-list] iFM 18' PhD Symposium Call for Papers
2018-06-14 9:13 UTC
[Caml-list] 2nd Call for Papers [deadline July 1st] - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018
2018-06-13 0:45 UTC
[Caml-list] HOPE 2018: Deadline extension until June 15th
2018-06-11 15:16 UTC
[Caml-list] [ANN] Uucd, Uucp, Uunf and Uuseg for Unicode 11.0.0
2018-06-09 16:36 UTC (2+ messages)
[Caml-list] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018)
2018-06-09 3:34 UTC
[Caml-list] 23rd International Conference on Engineering Complex Systems - Call for Papers
2018-06-08 0:38 UTC
[Caml-list] ACTIONS@KR18: CALL FOR CONTRIBUTIONS
2018-06-07 13:19 UTC
[Caml-list] XPath implementation or equivalent
2018-06-07 9:00 UTC (5+ messages)
[Caml-list] FINAL REMINDER: KR 2018 Doctoral Consortium Call for Papers
2018-06-07 1:23 UTC
[Caml-list] Final CFP HOPE 2018
2018-06-04 15:52 UTC
[Caml-list] Mathematically Structured Functional Programming 2018: Call for Participation
2018-06-04 13:14 UTC
[Caml-list] Inconsistent assumptions over interface
2018-06-02 20:02 UTC (4+ messages)
[Caml-list] OCaml for cloud-native apps
2018-06-02 19:56 UTC (2+ messages)
[Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie"
2018-06-01 21:30 UTC
[Caml-list] ML Family Workshop 2018: Deadline extension until June 6th
2018-06-01 17:04 UTC
[Caml-list] EJCP 2018 - Dernier appel à participation
2018-06-01 14:34 UTC
[Caml-list] LPAR-22 in Ethiopia - Call for Papers and Workshops
2018-05-31 19:45 UTC
[Caml-list] [ANNOUNCE] llpp v28
2018-05-30 14:34 UTC (3+ messages)
[Caml-list] OCaml Users and Developers Workshop 2018: Call for presentations
2018-05-29 11:14 UTC (2+ messages)
[Caml-list] ML Family Workshop 2018: Call for presentations
2018-05-28 13:22 UTC (2+ messages)
[Caml-list] GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5,6 2018
2018-05-27 21:22 UTC
[Caml-list] CFP SSS 2018, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 4-7, 2018, Tokyo, Japan
2018-05-27 17:05 UTC
[Caml-list] Invitation Journée 19 Juin "Blockchain de la pratique à la théorie"
2018-05-24 8:20 UTC
[Caml-list] CASC-J9 - the ATP System Competition
2018-05-23 14:29 UTC
[Caml-list] Functional Programming @ DFINITY
2018-05-23 6:55 UTC (3+ messages)
` [Caml-list] int of infinity = 0
[Caml-list] OCaml for cloud-native apps
2018-05-22 14:07 UTC (2+ messages)
[Caml-list] First Call for Papers: FSEN 2019
2018-05-22 11:58 UTC
[Caml-list] [ANN] opam 2.0.0 Release Candidate 2 is out!
2018-05-22 9:36 UTC
[Caml-list] OCaml/Reason/MirageOS Internships at SAP Innovation Center Network (Postdam, Germany)
2018-05-21 20:24 UTC
[Caml-list] FLoC 2018: Programme now live and accommodation booking fast
2018-05-21 14:11 UTC
[Caml-list] 2nd CfP: Workshop on Functional High-Performance Computing 2018 at ICFP
2018-05-20 18:33 UTC
[Caml-list] OCaml DocJam on May 18-20: call for participation
2018-05-17 23:25 UTC (2+ messages)
[Caml-list] Extended deadline ICTCS 2018 - Urbino (Italy)
2018-05-17 12:03 UTC
[Caml-list] Prochain meetup OUPS 23 mai 2018 / Next OUPS meetup, May 23rd 2018
2018-05-16 9:49 UTC
[Caml-list] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018)
2018-05-15 16:14 UTC
[Caml-list] a bad value detector
2018-05-12 10:54 UTC (6+ messages)
[Caml-list] Porting old-style ppx to driver-style?
2018-05-11 1:18 UTC (3+ messages)
[Caml-list] [HOPE 2018] Call for Presentations
2018-05-09 17:48 UTC
[Caml-list] [ANN] ocamlnet-4.1.6
2018-05-08 9:34 UTC
[Caml-list] an implicit GC rule?
2018-05-07 17:01 UTC (6+ messages)
` [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:49 UTC
[Caml-list] ICTCS 2018 @ Urbino - second call for papers
2018-05-05 15:19 UTC (2+ messages)
` [Caml-list] ICTCS 2018 @ Urbino - last "
[Caml-list] Instruction sequences, compressed instructions in the RISC-V port
2018-05-05 6:50 UTC
[Caml-list] EJCP 2018 - Appel à participation
2018-05-02 8:32 UTC
[Caml-list] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
2018-05-01 5:27 UTC
[Caml-list] [ANN] Rfsm 1.0
2018-04-30 15:17 UTC (3+ messages)
[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
[Caml-list] [ANN] ELPI 1.0 released
2018-04-27 15:31 UTC
[Caml-list] 4.07.0+beta2
2018-04-26 17:46 UTC (3+ messages)
` [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)
[Caml-list] Numerical Programming in Functional Languages (CfP)
2018-04-26 13:24 UTC
[Caml-list] PPDP 2018: Deadline Extension!
2018-04-24 13:35 UTC
[Caml-list] Sys.signal / Sys.set_signal broken in native code?
2018-04-22 13:33 UTC (2+ messages)
[Caml-list] [ANN] opaline - OPAm Lightweight INstaller Engine
2018-04-22 9:18 UTC (2+ messages)
[Caml-list] Why doesn't relaxed value restriction apply here?
2018-04-21 11:34 UTC (5+ messages)
[Caml-list] [ANNOUNCE] llpp v27
2018-04-20 10:15 UTC
[Caml-list] CASC-J9 - the ATP System Competition - Call for Systems
2018-04-19 18:19 UTC
[Caml-list] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers
2018-04-18 15:01 UTC
[Caml-list] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED **
2018-04-18 14:30 UTC
[Caml-list] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)
2018-04-18 5:31 UTC
[Caml-list] FLoC 2018 - Call for Participation
2018-04-17 14:16 UTC
[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
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