« earlier | later »
Page 1 of 1
Eliminating Array Bound Checking through Non-dependent types
A neat trick: using existentially-qualified (but unspecified) types to track instances of arrays at the type level.
to haskell research static-analysis typechecking ...
on 18 August 2008
by Adam Sampson.