THELIB
Kategorieregeln Regeln Anmelden
  • Bücher
  • Sonstiges
  • Allgemein
  • Typen und Programmiersprachen
Typen und Programmiersprachen
A

Typen und Programmiersprachen

Allgemein
# type theory# programming languages# lambda calculus# subtyping# polymorphism# type systems# formal semantics
Autor
Benjamin C. Pierce
Verlag
The MIT Press
Jahr
2002
Sprache
Englisch
89
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Fortgeschrittene Themen in Typen und Programmiersprachen

Fortgeschrittene Themen in Typen und Programmiersprachen

Benjamin C. Pierce (editor)

Pragmatik der Programmiersprachen, Fünfte Auflage

Pragmatik der Programmiersprachen, Fünfte Auflage

Michael L. Scott, Jonathan Aldrich

Die C++-Programmiersprache

Die C++-Programmiersprache

Bjarne Stroustrup

Rust-Programmiersprache: Umfassender Leitfaden zu Syntax, Typen und Kernkonzepten

Rust-Programmiersprache: Umfassender Leitfaden zu Syntax, Typen und Kernkonzepten

Nicht im bereitgestellten Inhalt angegeben

Prinzipien der objektorientierten Programmierung

Prinzipien der objektorientierten Programmierung

Nicht angegeben

Computersysteme: Eine programmierorientierte Einführung, Dritte globale Ausgabe

Computersysteme: Eine programmierorientierte Einführung, Dritte globale Ausgabe

Randal E. Bryant, David R. O'Hallaron

Programmiersprachen: Konzepte und Implementierung

Programmiersprachen: Konzepte und Implementierung

Saverio Perugini

Die Spezifikation der Programmiersprache Go

Die Spezifikation der Programmiersprache Go

Oliver Stone

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen

Niklaus Wirth

Konzepte und Vokabular: Programmierkonzepte und Vokabular

Konzepte und Vokabular: Programmierkonzepte und Vokabular

Autor nicht angegeben

THELIB

IT-Bibliothek mit Übersetzung in 8 Sprachen.

Katalog

  • Bücher
  • Kategorien
  • Regeln
  • Vereinbarung

Konto

  • Registrieren
  • Anmelden
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 Sprachen · KI-Übersetzung in Echtzeit