E-Books durchsuchen

Mathematics of Program Construction [2022]

1
Breadth-First Traversal via Staging
2
Subtyping Without Reduction
3
Calculating Datastructures
4
Flexibly Graded Monads and Graded Algebras
5
Folding over Neural Networks
6
Towards a Practical Library for Monadic Equational Reasoning in Coq
7
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go
8
Streams of Approximations, Equivalence of Recursive Effectful Programs
9
Fantastic Morphisms and Where to Find Them
Feedback