• 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
    • Google Scholar
    • Mastodon
    • pratap at pratap dot dev

    • ocaml 1
    • owl 1
    • count-min-sketch 1
    • sublinear-algorithms 1
    • strong-normalization 1
    • lambda-calculus 1

    ocaml

    Implementing the count-min sketch in Owl

    13 minute read

    Back to Top ↑

    owl

    Implementing the count-min sketch in Owl

    13 minute read

    Back to Top ↑

    count-min-sketch

    Implementing the count-min sketch in Owl

    13 minute read

    Back to Top ↑

    sublinear-algorithms

    Implementing the count-min sketch in Owl

    13 minute read

    Back to Top ↑

    strong-normalization

    Strong Normalization for Lambda Calculi

    less than 1 minute read

    Back to Top ↑

    lambda-calculus

    Strong Normalization for Lambda Calculi

    less than 1 minute read

    Back to Top ↑
    • pratap at pratap dot dev
    • Website
    • GitHub
    • Google Scholar
    • Mastodon
    • Feed
    © 2025 Pratap Singh. Powered by Jekyll & Minimal Mistakes.