Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (0)
PowerEpsilon ([ZhuW9l]) is a strongly-typed polymorphic functional programming language based on Martin-L&ouml;f's type theory and the Calculus of Constructions. In PowerEpsilon there are no constant time definitions of the predecessor functions which will lead to non-efficient programs. In this paper, we give a solution to this problem by introducing… (More)