@article{weirich2022implementing,
  title={Implementing Dependent Types in pi-forall},
  author={Weirich, Stephanie},
  journal={arXiv preprint arXiv:2207.02129},
  year={2022}
}

@book{friedman2018little,
  title={The Little Typer},
  author={Friedman, Daniel P and Christiansen, David Thrane},
  year={2018},
  publisher={MIT Press}
}

@article{loh2010tutorial,
  title={A tutorial implementation of a dependently typed lambda calculus},
  author={L{\"o}h, Andres and McBride, Conor and Swierstra, Wouter},
  journal={Fundamenta informaticae},
  volume={102},
  number={2},
  pages={177--207},
  year={2010},
  publisher={IOS Press}
}