[Caml-list] [HOPE 2018] Call for Presentations
2018-05-09 17:48 UTC
[Caml-list] a bad value detector
2018-05-09 8:39 UTC (4+ messages)
[Caml-list] OCaml DocJam on May 18-20: call for participation
2018-05-09 7: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] ML Family Workshop 2018: Call for presentations
2018-05-06 10:40 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] Porting old-style ppx to driver-style?
2018-05-04 22:20 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] Type That's Concrete From Within A Library Abstract From Without
2018-04-27 11:21 UTC (10+ messages)
[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] Inconsistent assumptions over interface
2018-04-23 14:14 UTC (3+ messages)
[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
[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] 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] 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)
[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
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