86 citations found. Retrieving documents...
K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type erasure semantics. In Proc. ICFP, pages 301--313, 1998.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Sound and Complete Elimination of Singleton Kinds - Crary (2005)   Self-citation (Crary)   (Correct)

No context found.

Crary, K., Weirich, S., and Morrisett, G. 2002. Intensional polymorphism in type-erasure semantics. Journal of Functional Programming 12, 6 (Nov.), 567--600.


Typed Memory Management via Static Capabilities - David Walker Carnegie (2000)   (24 citations)  Self-citation (Crary Morrisett)   (Correct)

No context found.

Crary, K., Weirich, S., and Morrisett, G. 1998. Intensional polymorphism in type-erasure semantics. In ACM International Conference on Functional Programming. ACM Press, Baltimore, 301-312.


From System F to Typed Assembly Language - Greg Morrisett Cornell (1999)   (6 citations)  Self-citation (Crary Morrisett)   (Correct)

No context found.

Crary, K., Weirich, S., and Morrisett, G. 1998. Intensional polymorphism in type-erasure semantics. In 1998 ACM SIGPLAN International Conference on Functional Programming. ACM Press, New York, NY, USA, 301--312.


Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000)   Self-citation (Crary Morrisett)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In ACM International Conference on Functional Programming, pages 301--312, Baltimore, September 1998. 53


Type-Safe Cast: Functional Pearl - Weirich (2000)   (13 citations)  Self-citation (Weirich)   (Correct)

No context found.

K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type-erasure semantics. In 1998.


A Design for Type-Directed Programming in Java - Weirich, Huang (2004)   Self-citation (Weirich)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. Journal of Functional Programming, 12(6):567--600, November 2002.


Research Statement - Weirich (2002)   Self-citation (Weirich)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional Polymorphism in Type Erasure Semantics. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, volume 34 of ACM SIGPLAN Notices, pages 301--313, Baltimore, MD, September 1998.


Research Statement - Weirich (2002)   Self-citation (Weirich)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional Polymorphism in Type Erasure Semantics. In Journal of Functional Programming. To appear.


Type-Safe Distributed Programming for OCaml - John Billings Peter   (Correct)

No context found.

K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type erasure semantics. In Proc. ICFP, pages 301--313, 1998.


TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005)   (1 citation)  (Correct)

No context found.

K. Crary, S. Weirich, and J. G. Morrisett. Intensional polymorphism in type-erasure semantics. In International Conference on Functional Programming, pages 301--312, 1998.


Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002)   (3 citations)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In International Conference on Functional Programming (ICFP) , Baltimore, Maryland, USA, pages 301--312, 1998.


Guarded Recursive Datatype Constructors - Xi, Chen, Chen (2003)   (8 citations)  (Correct)

No context found.

K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type-erasure semantics. In Proceedings of the International Conference on Functional Programming (ICFP '98), pages 301--312, Baltimore, MD, September 1998.


Unifying Object-Oriented Programming with Typed Functional.. - Xi (2002)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In Proceedings of the International Conference on Functional Programming (ICFP '98), pages 301--312, Baltimore, MD, September 1998.


Program Representation Size in an Intermediate.. - Dimock.. (2000)   (Correct)

No context found.

K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type erasure semantics. In ICFP '98 [ICFP98], pp. 301--312.


Type-Indexed Data Types - Hinze, Jeuring, Löh (2001)   (7 citations)  (Correct)

No context found.

K. Crary, S. Weirich, J. G. Morrisett, Intensional polymorphism in type-erasure semantics, in: Proceedings ICFP 1998.


Type Dispatch for Named Hierarchical Types - Neal Glew Cornell (1999)   (15 citations)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In Third ACM SIGPLAN International Conference on Functional Programming, pages 301--312, Baltimore Maryland, USA, September 1998.


A Type System for Expressive Security Policies - Walker (1999)   (28 citations)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In ACM SIGPLAN International Conference on Functional Programming, pages 301--312, Baltimore, September 1998.


A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002)   (13 citations)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, MD, volume (34)1 of ACM SIGPLAN Notices, pages 301--312. ACM Press, January 1999.


Unifying Object-Oriented Programming with Typed Functional.. - Xi (2002)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In Proceedings of the International Conference on Functional Programming (ICFP '98), pages 301--312, Baltimore, MD, September 1998.


Constraint-Based Type Inference for Guarded Algebraic Data Types - Simonet, Pottier (2003)   (1 citation)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. Journal of Functional Programming, 12(6):567--600, November 2002. URL: http://www.cis.upenn.edu/~sweirich/ papers/typepass/typepass-journal.ps.


Dependency-style Generic Haskell - Löh, Clarke, Jeuring (2003)   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In ICFP '98, pages 301--312. ACM Press, 1998.


Type-Indexed Data Types - Hinze, Jeuring, Loh (2001)   (7 citations)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In Proceedings ICFP 1998.


Run-time Principals in Information-flow Type Systems - Stephen Tse Steve (2004)   (5 citations)  (Correct)

No context found.

K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type erasure semantics. Journal of Functional Programming, 12(6):567--600, Nov. 2002.


CS 690 Project Report: - Semantics And Implementation   (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional Polymorphism in Type-Erasure Semantics. In Proc. 1998.


Associated Types with Class - Chakravarty, Keller, Jones, Marlow (2005)   (1 citation)  (Correct)

No context found.

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In ACM SIGPLAN pages 301--312. ACM Press, 1998.

First 50 documents  Next 50

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