Fridlender, Daniel
-
BRICS Report Series Nr. 38 (1998): RS-38 An n-ary zipWith in Haskell - Artikler
An n-ary zipWith in Haskell
Resumé PDF (English) -
BRICS Report Series Nr. 39 (1998): RS-39 An Interpretation of the Fan Theorem in Type Theory - Artikler
An Interpretation of the Fan Theorem in Type Theory
Resumé PDF (English) -
BRICS Report Series Nr. 10 (2001): RS-10 Do we Need Dependent Types? - Artikler
Do we Need Dependent Types?
Resumé PDF (English)