Skip to primary navigation
Skip to content
Skip to footer
Pratap Singh
Blog
Resume
Publications
Toggle search
Toggle menu
Pratap Singh
CS PhD student at CMU
Follow
Pittsburgh, PA
Website
GitHub
Twitter
Mastodon
pratap at pratap dot dev
Recent Posts
Strong Normalization for Lambda Calculi
less than 1 minute read
Implementing the count-min sketch in Owl
13 minute read
Enter your search term...
