How abstract should abstract types be?

September 16, 2014
Xavier Leroy | INRIA-Paris-Rocquencourt

- Jeff Running

Watch Next

KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection
January 8, 2026
Sumit Gulwani
Inside Microsoft Research Asia: Fundamental research powering the future of AI
December 16, 2025
Peng Cheng,

Baining Guo,

Changho Hwang

, et. al.
Data Formulator: Vibe with your data, in control
December 9, 2025
Karen Easterbrook,

Chenglong Wang
Accelerating MRI image reconstruction with Tyger
December 9, 2025
Karen Easterbrook,

Ilyana Rosenberg
Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
Publicly-verifiable elections
December 9, 2025
Karen Easterbrook,

Josh Benaloh
A brain-inspired agentic architecture to improve planning with LLMs
December 9, 2025
Karen Easterbrook,

Ida Momennejad
From Microfarms to the Moon: A Teen Innovator’s Journey in Robotics
December 9, 2025
Pranav Kumar Redlapalli
Anaximander: Interactive Orchestration and Evaluation of Geospatial Foundation Models
December 9, 2025
Satej Soman
Leveraging Loanword Constraints for Improving Machine Translation in Low-resource Settings
November 25, 2025
Felermino Ali