https://pratap.dev/ocaml/owl/count-min-sketch/sublinear-algorithms/countmin-sketch/ 2019-08-20T00:00:00+00:00 https://pratap.dev/strong-normalization/lambda-calculus/strong-normalization/ 2021-05-15T18:00:00+00:00 https://pratap.dev/categories/ https://pratap.dev/blog/ https://pratap.dev/ https://pratap.dev/publications/ https://pratap.dev/resume/ https://pratap.dev/publications_src/ https://pratap.dev/assets/images/tradeoff_by_phis.pdf 2026-03-24T04:33:43+00:00 https://pratap.dev/assets/pdf/PratapSingh_CS252r_final_project.pdf 2026-03-24T04:33:43+00:00 https://pratap.dev/assets/pdf/PratapSingh_SeniorThesis.pdf 2026-03-24T04:33:43+00:00