Joshua Dunfield and Frank Pfenning. Tridirectional typechecking. In Xavier Leroy, editor, ACM Symp. Principles of Programming Languages (POPL '04), pages 281--292, Venice, Italy, January 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) Self-citation (Dunfield Pfenning) (Correct)
No context found.
Joshua Dunfield and Frank Pfenning. Tridirectional typechecking. In Xavier Leroy, editor, ACM Symp. Principles of Programming Languages (POPL '04), pages 281--292, Venice, Italy, January 2004.
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) Self-citation (Dunfield Pfenning) (Correct)
No context found.
Joshua Dunfield and Frank Pfenning. Tridirectional typechecking. In Xavier Leroy, editor, ACM Symp. Principles of Programming Languages (POPL '04), pages 281--292, Venice, Italy, January 2004.
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
No context found.
J. Dunfield and F. Pfenning. Tridirectional typechecking. In ACM Symposium on Principles of Programming Languages, 2004.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
J. Dunfield and F. Pfenning. Tridirectional typechecking. In Symposium on Principles of Programming Languages, 2004.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
J. Dunfield and F. Pfenning. Tridirectional typechecking. In Symposium on Principles of Programming Languages, 2004.
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