#47 The History of LCF, ML and HOPE - David MacQueen episode artwork

EPISODE · Jan 7, 2025 · 2H 5M

#47 The History of LCF, ML and HOPE - David MacQueen

from Type Theory Forall · host Pedro Abreu

David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Professor at Chicago University for 23 years. He is one of the designers of SML, one of the fathers of HOPE the programming language that introduced the notion of Algebraic Datatypes. So this interview was very special to me personally where I could get to hear all the stories about the dawn of Functional Programming as we know. And it is my great pleasure to have the honor to share it with you all. Links David's Website David's Github Luca Cardelli and the Early Evolution of ML The History of SML HOPE SML Website SML/NJ Website SML/NJ Github SML Family Website

Episode metadata supplied by the publisher feed · Published Jan 7, 2025

Embed this episode

NOW PLAYING

#47 The History of LCF, ML and HOPE - David MacQueen

0:00 2:05:04

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

No similar episodes found.

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Type Theory Forall?

This episode is 2 hours and 5 minutes long.

When was this Type Theory Forall episode published?

This episode was published on January 7, 2025.

Can I download this Type Theory Forall episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!