Author:
Jeuring Johan,Jansson Patrik
Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Patrik Berglund. A polytypic rewriting system. Master's thesis, Chalmers University of Technology, 1996. Forthcoming.
2. C. Böhm and A. Berarducci. Automatic synthesis of type λ-programs on term algebras. Theoretical Computer Science, 39:135–154, 1985.
3. Richard Bird, Oege de Moor, and Paul Hoogendijk. Generic programming with relations and functors. To appear in Journal of Functional Programming, 1996.
4. R.S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series, pages 5–42. Springer-Verlag, 1987.
5. R.S. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, volume F55 of NATO ASI Series, pages 151–216. Springer-Verlag, 1989.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UML Templates Distilled;IEEE Access;2022
2. Interaction-Based Programming in MGS;Emergence, Complexity and Computation;2016-07-19
3. Generic top-down discrimination for sorting and partitioning in linear time;Journal of Functional Programming;2012-05
4. Spatial Computing in MGS;Unconventional Computation and Natural Computation;2012
5. Datatype-Generic Termination Proofs;Theory of Computing Systems;2007-10-05