Type Theory Forall

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


Listen Later

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
  • ...more
    View all episodesView all episodes
    Download on the App Store

    Type Theory ForallBy Pedro Abreu

    • 5
    • 5
    • 5
    • 5
    • 5

    5

    11 ratings


    More shows like Type Theory Forall

    View all
    Software Engineering Daily by Software Engineering Daily

    Software Engineering Daily

    627 Listeners

    Soft Skills Engineering by Jamison Dance and Dave Smith

    Soft Skills Engineering

    282 Listeners

    Late Night Linux by The Late Night Linux Family

    Late Night Linux

    161 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    189 Listeners

    The Numberphile Podcast by Brady Haran

    The Numberphile Podcast

    451 Listeners

    Cautionary Tales with Tim Harford by Pushkin Industries

    Cautionary Tales with Tim Harford

    5,086 Listeners

    Iowa Type Theory Commute by Aaron Stump

    Iowa Type Theory Commute

    17 Listeners

    Last Week in AI by Skynet Today

    Last Week in AI

    298 Listeners

    2.5 Admins by The Late Night Linux Family

    2.5 Admins

    91 Listeners

    The Haskell Interlude by Haskell Podcast

    The Haskell Interlude

    13 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    59 Listeners

    Latent Space: The AI Engineer Podcast by swyx + Alessio

    Latent Space: The AI Engineer Podcast

    87 Listeners