James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90--104, New York, October 2002. ACM Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Generic Haskell: Practice and Theory - Hinze, Jeuring (2003) (3 citations) Self-citation (Hinze) (Correct)
No context found.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90--104. ACM Press, October 2002.
Phantom Types - Cheney, Hinze (2003) (1 citation) Self-citation (Cheney Hinze) (Correct)
.... a rst class Dynamic type and typecase expressions [1, 2, 19] de ning generic functions by translation from polytypic languages to existing languages [15, 13] and implementing staged computation with run time type checking [8, 23] or compile time computation [22] Recently, Cheney and Hinze [6] and Baars and Swierstra [4] found that many of these features can already be implemented via an encoding into Haskell based on equality types comprising proofs of type equality. However, this encoding has several drawbacks: It imposes a high annotation burden on programmers, limiting its ....
....constraints. As an example, the rst equation has type Rep Int Int Int Bool as R Int constrains to Int . For further examples of generic functions and for an elegant way of combining generic functions with dynamic values the interested reader is referred to a recent paper by the authors [6]. In general, a with clause may comprise several type equations and an equation may relate two type expressions of the same kind. In particular, an equation may relate two types of a higher order kind. We will encounter examples of more advanced phantom types in Section 2.3. 2.2 Generic ....
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90-104. ACM Press, October 2002.
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
No context found.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90--104, New York, October 2002. ACM Press.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Haskell Workshop, Pittsburgh, PA, 2002.
Implementing Cut Elimination: A Case Study of Simulating.. - Chiyan Chen Dengping (2003) (Correct)
No context found.
Cheney, J., and Hinze, R. A Lightweight Implementation of Generics and Dynamics. In Proceedings of Haskell Workshop (Pittsburgh, PA, October 2002), ACM Press, pp. 90--104.
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
No context found.
J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Haskell Workshop, Pittsburgh, PA, 2002.
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
No context found.
J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Haskell Workshop, pages 90--104, 2002.
Implementing Cut Elimination: A Case Study of Simulating.. - Chen, Zhu, Xi (2004) (Correct)
No context found.
Cheney, J., and Hinze, R. A Lightweight Implementation of Generics and Dynamics. In Proceedings of Haskell Workshop (Pittsburgh, PA, October 2002), ACM Press, pp. 90--104.
When Generic Functions Use Dynamic Values - Achten, Alimarine, Plasmeijer (2003) (1 citation) (Correct)
No context found.
Cheney, J. and Hinze, R. A Lightweight Implementation of Generics and Dynamics. In Chakravarty, M., ed. Proceedings of the ACM SIGPLAN 2002 Haskell Workshop, Pittsburgh, PA, USA, October 3, 2002, pp. 90-104.
Languages of the Future - Sheard (2004) (3 citations) (Correct)
No context found.
Ralf Hinze and James Cheney. A lightweight implementation of generics and dynamics. In Manuel Chakravarty, editor, Proceedings of the ACM SIGPLAN 2002.
An Implementation of Session Types - Neubauer, Thiemann (2004) (1 citation) (Correct)
No context found.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 90--
The Fun of Programming Oege de Moor, - Jeremy Gibbons And (Correct)
No context found.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002.
Combining Programming Languages and Logical Reasoning Systems.. - Sheard (Correct)
No context found.
Ralf Hinze and James Cheney. A lightweight implementation of generics and dynamics. In Manuel Chakravarty, editor, Proceedings of the ACM SIGPLAN 2002.
Meta-programming with Built-in Type Equality (Extended Abstract) - Sheard, Pasalic (2004) (Correct)
No context found.
J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Proc. of the workshop on Haskell, pages 90--104. ACM Press, 2002.
Plugging Haskell In - Pang, Stewart, Seefried, Chakravarty (Correct)
No context found.
James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 90--104. ACM Press, 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