« 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
« earlier | later » Page 1 of 1
| - typechecking | |
| 1 | haskell |
| 1 | research |
| 1 | static-analysis |
| 1 | typechecking |
tasty by Adam Sampson.