Taxonomies of Visual Programming (1989)

Functional Perl: Programming with Recursion Schemes in Python

Linux’s History (1992)

The Puzzle Toad

Reflections on trusting trust (1984)

No Hands Across America

Applying to PhD Programs in Computer Science (2014)

Monte Carlo Geometry Processing

Nearly Half of the Twitter Accounts Discussing ‘Reopening America’ May Be Bots

CMU 15-819 - Homotopy Type Theory