S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, University of Pennsylvania, 2005. 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) (Correct)
No context found.
S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, University of Pennsylvania, 2005.
Skeletons and the Anatomy of Monads - Chuan-Kai Lin Department (Correct)
No context found.
Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, University of Pennsylvania, July 2004.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, University of Pennsylvania, 2005.
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
No context found.
S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: Type inference for generalised algebraic data types. Microsoft Research, Cambridge, 2004.
"Scrap Your Boilerplate" Explained - Hinze, Löh, Oliveira (Correct)
No context found.
Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: Type inference for generalised algebraic data types. (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