The little typer

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Friedman, Daniel P. 1944- (VerfasserIn), Christiansen, David Thrane (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge, Massachusetts ; London, England The MIT Press [2018]
Schlagworte:	Functional programming (Computer science) Logic programming Computer logic Type theory Typentheorie
Online-Zugang:	FHD01 FHI01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge