S. Weirich. Higher-order intensional type analysis. In D. L. Metayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, 2002. 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)
....data upon which argument function will apply. While supporting type inference, Functorial ML programming is a rather low level language and lacks the simplicity of Hinze s approach. Functorial ML and other work on shape theory has resulted in the programming language FISh [22] Weirich and others [33] (and the earlier work on intensional polymorphism [8] employ a typecase construct which performs run time tests on types to implement polytypic functions of an expressiveness similar to Hinze s. Ruehr s structural polymorphism [31] adopts similar type tests. By avoiding type interpretation at ....
....a few extensions to Hinze s framework 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. ....
Stephanie Weirich. Higher-order intensional type analysis. In Daniel Le Metayer, editor, Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002.
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
....within such a program can be abstraction safe, successful communication between builds can only be at the representation type, and hence abstraction unsafe. This is true, for instance, of [2] TMAL [8] Modula 3 [6, 5] Alice [3] and the typed channel languages listed below. Weirich [32] exposes an existential s representation type to type analysis, permitting a type safe polytypic marshalling function to be written. As future work we hope to expose our global type names at term level (cf. 13] permitting an abstraction safe polytypic marshalling function to be written. Furuse ....
S. Weirich. Higher-order intensional type analysis. In Proc. 11th ESOP, LNCS 2305, Grenoble, France, 2002.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) Self-citation (Weirich) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis. In D. L. Metayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, 2002.
A Design for Type-Directed Programming in Java - Weirich, Huang (2004) Self-citation (Weirich) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In Daniel Le Metayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, April 2002.
Research Statement - Weirich (2002) Self-citation (Weirich) (Correct)
No context found.
Stephanie Weirich. Higher-Order Intensional Type Analysis. In Daniel Le Metayer, editor, Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002.
Unifying Nominal and Structural Ad-hoc Polymorphism - Washburn, Weirich (2004) Self-citation (Weirich) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis. In D. L. Metayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, 2002.
Higher-Order Intensional Type Analysis in Type-Erasure Semantics - Weirich (2003) (3 citations) Self-citation (Weirich) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In Daniel Le Metayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, 2002.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) Self-citation (Weirich) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis. In D. L. Metayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, 2002.
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (7 citations) (Correct)
No context found.
S. Weirich, Higher-order intensional type analysis, in: D. Le Metayer (Ed.), Proceedings of the 11th European Symposium on Programming, ESOP 2002.
Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis. In D. L. Metayer, editor, Programming Languages and Systems: 11th European Symposium on Programming (ESOP 2002.
Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis. In D. L. Metayer, editor, Programming Languages and Systems: 11th European Symposium on Programming (ESOP 2002.
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In Proc. 11th ESOP, LNCS 2305, Grenoble, France, 2002.
Dependency-style Generic Haskell - Löh, Clarke, Jeuring (2003) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In Daniel Le M etayer, editor, Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002.
Associated Types with Class - Chakravarty, Keller, Jones, Marlow (2005) (1 citation) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In European Symposium on Programming (ESOP02), 2002.
Type-Indexed Data Types - Hinze, Jeuring, Loh (2004) (7 citations) (Correct)
No context found.
S. Weirich, Higher-order intensional type analysis, in: D. Le Metayer (Ed.), Proceedings of the 11th European Symposium on Programming, ESOP 2002.
Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003) (Correct)
No context found.
S. Weirich. Higher-order intensional type analysis. In D. L. M etayer, editor, Programming Languages and Systems: 11th European Symposium on Programming (ESOP 2002.
Global Abstraction-Safe Marshalling With Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In Proc. 11th ESOP, LNCS 2305, Grenoble, France, 2002.
Generic Haskell: Practice and Theory - Hinze, Jeuring (2003) (3 citations) (Correct)
No context found.
Stephanie Weirich. Higher-order intensional type analysis. In D. Le Metayer, editor, Proceedings of the 11th European Symposium on Programming, ESOP 2002, volume 2305 of Lecture Notes in Computer Science, pages 98--114, 2002.
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