[Haskell] Re: Eliminating Array Bound Checking through Non-dependent types

Wilhelm B. Kloke wb at arb-phys.uni-dortmund.de
Fri Aug 6 05:49:55 EDT 2004

In article <200408060820.KAA13716 at ripper.it.kth.se>,
Bjorn Lisper  <lisper at it.kth.se> wrote:
>( A really interesting post on static elimination of array bounds checking
>by Oleg...)
>Some questions and suggestions:

Am I right suspecting, that this method also solves the problem of assuring
the right p in p-modular arithmetic (as complained by Sergei Mechveliani
in his Basic Algebra proposal)?
Dipl.-Math. Wilhelm Bernhard Kloke
Institut fuer Arbeitsphysiologie an der Universitaet Dortmund
Ardeystrasse 67, D-44139 Dortmund, Tel. 0231-1084-257

More information about the Haskell mailing list