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