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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to typechecking

- typechecking
 
1 + haskell
1 + research
1 + static-analysis