CRE122 Compilerbau und Typtheorie

from CRE: Technik, Kultur, Gesellschaft Hosted by Metaebene Personal Media - Tim Pritlove

Compilerbau ist eine komplexe Materie aber auch keine Magie. Andererseits ist es ein Feld, in dem in letzter Zeit wieder eine Menge Bewegung gekommen ist, teilweise ausgelöst durch neue Erkenntnisse, teilweise durch den hohen Bedarf an schnellen, dynamischen Programmiersprachen im Web. Hannes Mehnert erarbeitet gerade seine Diplomarbeit in diesem Themenfeld mit einem Schwerpunkt auf Optimierung und Typtheorie und erläutert im Gespräch mit Tim Pritlove die Hintergründe dieser Ansätze und gibt einen Überblick über weitgehend unbekanntes Terrain.

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

Ready to play

CRE122 Compilerbau und Typtheorie

0:00 2:05:48

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar podcasts

NFT & web3 Insider Podcast Fabian ZNTL Der NFT & web3 Insider Podcast nimmt dich mit in die aufregende Welt der NFTs und des web3, aka der Zukunft des Internets. Du bekommst praxisnahe Use Cases, die zeigen was mit NFTs möglich ist und wie web3 unsere Gesellschaft, Interaktion und Geschäftsbeziehungen verändern wird. Dazu gibt es aktuelle News, Insidertipps und Wissen für Einsteiger in verständlicher Sprache. Im Interview hörst du spannende Geschichten von Menschen für Menschen in Krypto. Hol dir einen Kaffee, lehne dich zurück und tauch mit uns ein in diese abgefahrene Welt.

Frequently asked questions

How long is this episode of CRE: Technik, Kultur, Gesellschaft?

This episode is 2 hours and 5 minutes long.

When was this CRE: Technik, Kultur, Gesellschaft episode published?

This episode was published on May 13, 2009.

Can I download this CRE: Technik, Kultur, Gesellschaft episode?

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