Linked e-resources
Details
Table of Contents
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.
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.