« earlier | later » Page 1 of 1
Eliminating Array Bound Checking through Non-dependent types edit / delete
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 |
tasty by Adam Sampson.