• Skip to primary navigation
  • Skip to content
  • Skip to footer
Pratap Singh
  • Blog
  • Resume
  • Publications
    Pratap Singh

    Pratap Singh

    CS PhD student at CMU

    • 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

    • pratap at pratap dot dev
    • Website
    • GitHub
    • Mastodon
    • Twitter
    • Feed
    © 2023 Pratap Singh. Powered by Jekyll & Minimal Mistakes.