I'm working on a bibliography of publications that discuss implementation of dependent type systems. It's still quite incomplete, but perhaps it could already be valuable for people looking to learn more about this topic: researchr.org/bibliography/2
7
36
97
