The little typer

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Friedman, Daniel P. (VerfasserIn)
Weitere Verfasser:	Christiansen, David Thrane (VerfasserIn), Harper, Robert (VerfasserIn eines Vorworts), McBride, Conor (VerfasserIn eines Nachworts), Bibby, Duane (IllustratorIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, MA, London The MIT Press 2018
Schlagworte:	Functional programming (Computer science) > Logic programming > Computer logic > Type theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!