Racket Unleashed: Building Powerful Programs with Functional and Language-Oriented ProgrammingRobert Johnson
Zig for Systems Programmers: Simplicity, Safety, and Maintainability in Low-Level DevelopmentRobert Johnson
Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal VerificationRobert Johnson