On understanding types, data abstraction and effects

September 16, 2014
Nick Benton | MSRC

- Jeff Running
- Nick Benton
  
  Senior Researcher

Watch Next

Guiding the AI disruption to the Good Place
May 14, 2026
Yash Lara,

David Rothschild
New fine-tuning of language models: Match meaning, not tokens
May 14, 2026
Yash Lara,

Carles Domingo-Enrich
Introducing Interwhen: Steering reasoning agents with real-time verification
May 14, 2026
Yash Lara,

Amit Sharma
Introducing GitHub Agentic Workflows: AI that runs your repo
May 14, 2026
Yash Lara,

Peli de Halleux
MagenticLite: A full-stack agentic experience powered by Small Models
May 14, 2026
Harkirat Behl,

Weili Shi,

Hussein Mozannar
Language & Voice AI for Africa: From Data to Deployment and Impact
April 30, 2026
Vukosi Marivate,

Tavonga Siyavora,

Tobi Olatunji

, et. al.
Storycaster: An AI System for Immersive Room-based Storytelling (CHI 2026)
April 24, 2026
AutoAdapt demo
April 24, 2026
Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs
April 23, 2026
Greg Zaverucha,

Arman Kolozyan
Microsoft Transforms its Cloud Supply Chain with Optimization and Generative AI
April 16, 2026
Peter Lee,

Konstantina Mellou,

Kayla Kummerlowe

, et. al.

Your Privacy Choices