The structure of typed programming languages

The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruc...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Schmidt, David A. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. [u.a.] MIT Press 1994
Schriftenreihe:	Foundations of computing series
Schlagworte:	Langages de programmation lambda calcul programmation fonctionnelle sémantique dénotationnelle sémantique langage programmation théorie type Programming languages (Electronic computers) Programmiersprache
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!