Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 2022
Genre:	EDV / Informatik
	ArtificialIntelligence / automatatheory / ComputerNetworks / computerprogramming / computersystems / Databases / distributedcomputersystems / distributedsystems / formallogic / functionalprogramming / Künstliche Intelligenz (KI) / Mathematics / Matrixalgebra / networkprotocols / Semantics / Software Engineering / Softwaredesign / Softwareengineering / Theoretische Informatik mehr...
ISBN:	9783031169113
EAN-Code:	9783031169113
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 16 mm
Gewicht:	441 gr
Seiten:	288
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Breadth-First Traversal Via Staging.- Subtyping without Reduction.- Calculating datastructures.- Flexibly Graded Monads and Graded Algebras.- Folding over Neural Networks.- Towards a Practical Library for Monadic Equational Reasoning in Coq.- Semantic preservation for a type directed translation scheme of Featherweight Go.- Streams of Approximations, Equivalence of Recursive Effectful Programs.- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes