S. Weirich. Higher-order intensional type analysis in type-erasure semantics. http://www.cis.upenn.edu/~sweirich/papers/ erasure/erasure-paper-july03.pdf, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dependency-style Generic Haskell - Loh, Clarke, Jeuring (2003) (6 citations) (Correct)
....which are compatible with the framework presented here, and will be incorporated into the compiler for Dependency style Generic Haskell. Closest to the work described in the present paper are both Weirich s original higher order intensional type analysis [33] and her recent type erasure approach [34]. This approach o#ers the advantage of support for separate compilation, dynamic loading, and polymorphic recursion. In addition, by carrying around a representation of type information, she can successfully treat universal and existential quantification. The implementation of our approach ....
Stephanie Weirich. Higher-order intensional type analysis in type erasure semantics. Available from http://www.cis.upenn.edu/~sweirich/, December 2002.
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis in type-erasure semantics. http://www.cis.upenn.edu/~sweirich/papers/ erasure/erasure-paper-july03.pdf, 2003.
Dependency-style Generic Haskell - Löh, Clarke, Jeuring (2003) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis in type erasure semantics. Available from http://www.cis.upenn.edu/~sweirich/, December 2002. 33
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC