Indrika, Mia
-
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. 10 (2001): RS-10 Do we Need Dependent Types? - Artikler
Do we Need Dependent Types?
Resumé PDF (English)