Fridlender, Daniel

• BRICS Report Series No. 10 (2001): RS-10 Do we Need Dependent Types? - Articles
  Do we Need Dependent Types?
  Abstract  PDF
• BRICS Report Series No. 38 (1998): RS-38 An n-ary zipWith in Haskell - Articles
  An n-ary zipWith in Haskell
  Abstract  PDF
• BRICS Report Series No. 39 (1998): RS-39 An Interpretation of the Fan Theorem in Type Theory - Articles
  An Interpretation of the Fan Theorem in Type Theory
  Abstract  PDF