Higher-order intensional type analysis in type erasure semantics

  title={Higher-order intensional type analysis in type erasure semantics},
  author={Stephanie Weirich},
Higher-order intensional type analysis is a way of defining type-indexed operations, such as map, fold and zip, based on run-time type information. However, languages supporting this facility are naturally defined with a type-passing semantics, which suffers from a number of drawbacks. This paper, describes how to recast higher-order intensional type analysis in a type-erasure semantics. The resulting language is simple and easy to implement—we present a prototype implementation of the… CONTINUE READING


Publications referenced by this paper.

Dependencystyle Generic Haskell

  • Andres Löh, Dave Clarke, Johan Juering
  • In ACM SIGPLAN International Conference on…
  • 2003
1 Excerpt

Poor man’s dynamics and generics

  • James Cheney, Ralf Hinze
  • Proceedings of the ACM SIGPLAN Haskell Workshop…
  • 2002
3 Excerpts

Similar Papers

Loading similar papers…