PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
November, 2022
Immutable Traversals with Unfold
Corecursion, Unfold and Infinite Sequences
Deep Recursion in Functional Programming
Different Views of Fold and Their Combinations
Fold Not Only Reduces
