Derivable Type Classes-Reference-Cited by-同舟云学术

Derivable Type Classes

Published:2001-08 Issue:1 Volume:41 Page:5-35
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Hinze Ralf,Peyton Jones Simon

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference19 articles.

1. Generic Programming — An Introduction;Backhouse,1999

2. Generic functional programming with types and relations;Bird;Journal of Functional Programming,1996

3. Robin Cockett and Tom Fukushima. About Charity. Yellow Series Report 92/480/18, Department of Computer Science, University of Calgary, June 1992.

4. Ralf Hinze. A generic programming extension for Haskell. In Erik Meijer, editor, Proceedings of the 3rd Haskell Workshop, Paris, France, September 1999. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28.

5. Ralf Hinze. Manufacturing datatypes. Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages, 2001. To appear.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A type- and scope-safe universe of syntaxes with binding: their semantics and proofs;Journal of Functional Programming;2021

2. Proof Relevant Corecursive Resolution;Functional and Logic Programming;2016

3. Deriving Comparators and Show Functions in Isabelle/HOL;Interactive Theorem Proving;2015

4. The implicit calculus;ACM SIGPLAN Notices;2012-08-06

5. The implicit calculus;Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012-06-11