Type erasure - Githubissues

antitypical / Manifold

An implementation of a dependently-typed intermediate language used by Tesseract.

MIT License

30 stars 0 forks source link

Open robrix opened 8 years ago

robrix commented 8 years ago

Erase indices and type arguments using some sort of usage analysis. Make sure they don’t stick around to runtime.

robrix commented 8 years ago

Erasure by Usage Analysis in the idris language reference.
Karl Crary, Stephanie Weirich, Greg Morrisett’s paper Intentional Polymorphism in Type-Erasure Semantics.