gmane.comp.lang.caml.inria

56724 articles on record, showing the most recent 50.

CFP - 16th International Workshop on the Implementation of Logics (at LPAR-26)
Mon, 3 Aug 2026 07:06:26 -0400
[email protected] • #70620
Attn: Development Editor, Latest OCaml Weekly News
Tue, 28 Jul 2026 14:44:18 +0200
Alan Schmitt <[email protected]> • #70619
Attn: Development Editor, Latest OCaml Weekly News
Tue, 21 Jul 2026 18:02:49 +0200
Alan Schmitt <[email protected]> • #70618
ICFP'26: Call for Participation and Early Registration Discount until July 25
Fri, 17 Jul 2026 10:52:35 -0400
ICFP Publicity <[email protected]> • #70617
FSCD 2026: Free online participation, 20 - 23 July 2026
Thu, 16 Jul 2026 20:12:37 +0200
Carsten Fuhs <[email protected]> • #70616
Re: module dependency question
Thu, 16 Jul 2026 18:48:19 +0000
K <[email protected]> • #70615
Re: module dependency question
Thu, 16 Jul 2026 15:34:41 +0200
Florian Angeletti <[email protected]> • #70614
Re: module dependency question
Thu, 16 Jul 2026 15:19:42 +0000
K <[email protected]> • #70613
Re: module dependency question
Thu, 16 Jul 2026 15:07:24 +0200
Florian Angeletti <[email protected]> • #70612
module dependency question
Thu, 16 Jul 2026 14:53:20 +0000
K <[email protected]> • #70611
Attn: Development Editor, Latest OCaml Weekly News
Tue, 14 Jul 2026 09:16:04 +0200
Alan Schmitt <[email protected]> • #70610
ICALP 2027 Track B - First Call for Papers (First Round)
Mon, 13 Jul 2026 09:27:01 +0900
Ichiro Hasuo via hol-info <[email protected]> • #70609
POPL 2027 Last Call for Papers
Wed, 8 Jul 2026 10:43:26 -0400
Ningning Xie <[email protected]> • #70608
Attn: Development Editor, Latest OCaml Weekly News
Tue, 07 Jul 2026 15:29:00 +0200
Alan Schmitt <[email protected]> • #70607
Re: Modular explicits in pre-OCaml 5.5
Tue, 30 Jun 2026 17:00:41 +0200
Olivier Nicole <[email protected]> • #70606
Attn: Development Editor, Latest OCaml Weekly News
Tue, 30 Jun 2026 15:25:21 +0200
Alan Schmitt <[email protected]> • #70605
Re: Modular explicits in pre-OCaml 5.5
Thu, 25 Jun 2026 16:23:04 +0200
Samuel Vivien <[email protected]> • #70604
Re: Modular explicits in pre-OCaml 5.5
Thu, 25 Jun 2026 14:45:17 +0200
Olivier Nicole <[email protected]> • #70603
Modular explicits in pre-OCaml 5.5
Wed, 24 Jun 2026 13:16:24 +0900
[email protected] • #70602
Attn: Development Editor, Latest OCaml Weekly News
Tue, 23 Jun 2026 12:07:47 +0200
Alan Schmitt <[email protected]> • #70601
OCaml 5.5.0 released
Fri, 19 Jun 2026 23:36:26 +0200 (CEST)
Florian Angeletti <[email protected]> • #70600
ICFP 2026 Tutorials: Proposal Deadline on June 21!
Thu, 18 Jun 2026 09:39:11 -0400
ICFP Publicity <[email protected]> • #70599
Attn: Development Editor, Latest OCaml Weekly News
Tue, 16 Jun 2026 12:51:18 +0200
Alan Schmitt <[email protected]> • #70598
OCaml 4.14.4 released
Mon, 15 Jun 2026 21:47:58 +0200 (CEST)
Florian Angeletti <[email protected]> • #70597
VSTTE 2026: Second Call for Papers and WIP Presentations
Mon, 15 Jun 2026 01:47:07 +0000
Tan Yong Kiam <[email protected]> • #70596
First release candidate for OCaml 5.5.0
Thu, 11 Jun 2026 15:42:45 +0200 (CEST)
Florian Angeletti <[email protected]> • #70595
POPL 2027 Call for Workshops
Wed, 10 Jun 2026 16:13:19 -0400
Ningning Xie <[email protected]> • #70594
POPL 2027 Call for Papers
Wed, 10 Jun 2026 11:41:36 -0400
Ningning Xie <[email protected]> • #70593
APLAS 2026 Call for Papers -- Deadline Extended (Wenjia Ye)
Wed, 10 Jun 2026 12:59:13 +0800
Wenjia <[email protected]> • #70592
Attn: Development Editor, Latest OCaml Weekly News
Tue, 09 Jun 2026 09:39:09 +0200
Alan Schmitt <[email protected]> • #70591
Re: a simple example of compiler-libs.toplevel?
Fri, 5 Jun 2026 14:18:41 +0200
Florian Angeletti <[email protected]> • #70590
CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026
Fri, 5 Jun 2026 10:42:29 +0100
Carsten Fuhs <[email protected]> • #70589
Attn: Development Editor, Latest OCaml Weekly News
Tue, 02 Jun 2026 11:01:00 +0200
Alan Schmitt <[email protected]> • #70588
[CFP][FPW '26] Call for Talk Proposals at OCaml Workshop 2026
Mon, 1 Jun 2026 16:42:56 +0200
Sudha Parimala <[email protected]> • #70587
PERR 2026 @ CAV/FLOC: Call for Participation
Mon, 1 Jun 2026 08:44:46 +0000
"Milovancevic, Dragana" <[email protected]> • #70586
APLAS 2026 Call for Papers (Wenjia Ye)
Sat, 30 May 2026 19:11:55 +0800
Wenjia <[email protected]> • #70585
APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
Sat, 30 May 2026 19:09:14 +0800
Wenjia <[email protected]> • #70584
WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
Fri, 29 May 2026 22:10:34 +0100
Carsten Fuhs <[email protected]> • #70583
[CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect
Sat, 30 May 2026 02:15:29 +0900
Taro Sekiyama <[email protected]> • #70582
Summer School on Verification Technology, Systems & Applications
Thu, 28 May 2026 18:53:59 -0400
[email protected] • #70581
Workshop on Functional Art, Music, Modelling and Design (FARM): Call for Papers (Deadline June 1)
Wed, 27 May 2026 11:10:32 +0900
Michael Sperber <[email protected]> • #70580
Attn: Development Editor, Latest OCaml Weekly News
Tue, 26 May 2026 09:36:50 +0200
Alan Schmitt <[email protected]> • #70579
[2nd CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Mon, 25 May 2026 15:50:53 +0900
Taro Sekiyama <[email protected]> • #70578
2nd CFP - Express/SOS 2026 (@CONFEST)
Thu, 21 May 2026 08:03:22 +0000
Giorgio Bacci <grbacci-t5LvXY1cjzpaa/[email protected]> • #70577
International School on Rewriting -- 12 to 16 July 2026
Thu, 21 May 2026 16:32:51 +0200
Cynthia Kop <[email protected]> • #70576
Express/SOS 2026 - Second Call for Papers
Thu, 21 May 2026 12:45:40 +0300
Anna Philippou <[email protected]> • #70575
IFL 2026 First call for papers
Wed, 20 May 2026 04:36:52 -0700
Mart Lubbers <[email protected]> • #70574
Attn: Development Editor, Latest OCaml Weekly News
Tue, 19 May 2026 10:52:21 +0200
Alan Schmitt <[email protected]> • #70573
PLMW @ ICFP 2026: Funding Call
Tue, 19 May 2026 02:06:21 +0000
Conrad Watt <[email protected]> • #70572
LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tue, 12 May 2026 16:11:09 -0400
[email protected] • #70571