ICFP

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

04:40

2026-08-25

risemsr.github.io

artificial-intelligence

A Verified Generational GC for OCaml

Researchers at Microsoft Research, led by Nik Swamy, used AI coding agents to port and evolve a verified mark-and-sweep garbage collector for OCaml into a generational garbage collector, integrating i…

09:15

2026-05-20

discourse.haskell.org

research

Call for Presentations: ML Family Workshop 2026

The ML Family Workshop 2026 will take place on August 28, 2026, with in-person events co-located with ICFP'26 in Indianapolis and FW'26 in Paris, and will feature a single Program Committee for submis…

// co-occurs with top 8 entities

OCaml 2 ML Family Workshop 1 FW 1 Standard ML 1 F# 1 Indianapolis 1 Paris 1 Microsoft Research 1

// topics top 6 topics

research 1 open source 1 developer tools 1 artificial intelligence 1 ai research 1 ai tools 1