What follows is a non-exhaustive list of some of the references that were useful when building Pikelet:

• Christiansen, David Raymond (2013). “Bidirectional Typing Rules: A Tutorial”. [PAPER]
• Löh, Andres, McBride, Conor and Swierstra, Wouter (2009). “A tutorial implementation of a dependently typed lambda calculus”. [SITE] [PAPER]
• Norell, Ulf (2007). “Towards a practical programming language based on dependent type theory”. [PAPER]