Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report)

Co-authored with Leon Heuer and Jan Haase. Published in the Proceedings of the 4th ACM SIGPLAN International Workshop on Functional Software Architecture.