Fridlender, Daniel
-
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 -
BRICS Report Series No. 10 (2001): RS-10 Do we Need Dependent Types? - Articles
Do we Need Dependent Types?
Abstract PDF