The concept of dependent types General Wikipedia Dependent Types in Programming abstract in APPSEM'2000 Do we need dependent types? by Daniel Fridlender and Mia Indrika, 2001. Type theory Simon Thompson: Type Theory and Functional Programming. Section 6.3 deals with dependent types, but because of the strong emphasis on Curry-Howard isomorphism and the connections between logic and programming, th