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