Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) Self-citation (Harper) (Correct)
No context found.
Y. Mandelbaum, D. Walker, and R. Harper. An effective theory of type refinements. In International Conference on Functional Programming, 2003.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) Self-citation (Harper) (Correct)
No context found.
Y. Mandelbaum, D. Walker, and R. Harper. An effective theory of type refinements. In International Conference on Functional Programming, 2003.
A Programming Language for Probabilistic Computation - Park (2005) Self-citation (Harper) (Correct)
No context found.
Y. Mandelbaum, D. Walker, and R. Harper. An effective theory of type refinements. In Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pages 213--225. ACM Press, 2003.
A Modal Language for Effects - Park, Harper (2004) Self-citation (Harper) (Correct)
No context found.
Y. Mandelbaum, D. Walker, and R. Harper. An effective theory of type refinements. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 213--225. ACM Press, 2003.
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Joshua Dunfield Joshuad (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
No context found.
Y. Mandelbaum, D. Walker, R. Harper. An effective theory of type refinements. Proc. International Conference on Functional Programming, 2003.
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
No context found.
Mandelbaum, Y., D. Walker, and R. Harper (2003, September). An effective theory of type refinements. In Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, Uppsala, Sweden, pp. 213--226.
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 2002.
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
No context found.
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. Technical Report TR-656-02, Princeton, December 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