Innhold levert av Pedro Abreu. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Pedro Abreu eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

Type Theory Forall « »
#47 The History of LCF, ML and HOPE - David MacQueen

17d ago 2:05:04

Del

MP3•Episoder hjem

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

87 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Alle episoder

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

Lytt til 500+ tema

Lik Type Theory Forall

Podcaster verdt å lytte til

Type Theory Forall « » #47 The History of LCF, ML and HOPE - David MacQueen

Links

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

Links

Podcaster verdt å lytte til

Velkommen til Player FM!

Lik Type Theory Forall

Hurtigreferanseguide

Type Theory Forall « »
#47 The History of LCF, ML and HOPE - David MacQueen