podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. CRE: Technik, Kultur, Gesellschaft Podcast
  4. CRE122 Compilerbau und Typtheorie
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.

Weitere Episoden

CRE225 Permakultur 

CRE225 Permakultur 

2 Stunden 47 Minuten
vor 4 Jahren
CRE224 Elektronisches Geld 2

CRE224 Elektronisches Geld 2

1 Stunde 55 Minuten
vor 4 Jahren
CRE223 Die Sendung mit der Maus

CRE223 Die Sendung mit der Maus

2 Stunden 7 Minuten
vor 4 Jahren
Wichtiger Hinweis der Metaebene

Wichtiger Hinweis der Metaebene

5 Minuten
vor 4 Jahren
CRE222 Terravision

CRE222 Terravision

3 Stunden 37 Minuten
vor 4 Jahren
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„CRE122 Compilerbau und Typtheorie“

Worum geht es? Danach fragen wir noch nach dem Grund.

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz