Hemant Sai Gouni

RSS/Atom

  1. Explaining higher-rank and impredicative polymorphism, simply

    From insights gained writing a type checker

    Sun, 20 Aug 2023

  2. I adopted a cat!

    Meet Katya 😊

    Sun, 18 Dec 2022