Categorical fixed point calculus-Reference-Cited by-同舟云学术

Categorical fixed point calculus

Published:1995 Issue: Volume: Page:159-179
ISSN:0302-9743
Container-title:Category Theory and Computer Science
language:
Short-container-title:

Author:

Backhouse Roland,Bijsterveld Marcel,Geldrop Rik,Woude Jaap

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60164-3_25.pdf

Reference20 articles.

1. R. C. Backhouse, M. Bijsterveld, R. van Geldrop, and J.C.S.P. van der Woude. Category theory as coherently constructive lattice theory. Department of Mathematics and Computing Science, Eindhoven University of Technology. 1995. Working document. Available via world-wide web at http://www.win.tue.nl/win/cs/wp/papers.

2. R.C. Backhouse and M. Bijsterveld. Category theory as coherently constructive lattice theory: an illustration. Technical report, Department of Computing Science, Eindhoven University of Technology, 1994. Available via world-wide web at http://www.win.tue.nl/win/cs/wp/papers.

3. H. Bekič. Programming Languages and Their Definition, volume 177 of LNCS. Springer-Verlag, 1984. Selected papers edited by C.B. Jones.

4. Patrick Cousot and Radhia Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 269–282, San Antonio, Texas, January 1979.

5. E.W. Dijkstra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, Berlin, 1990.

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

1. Structured Handling of Scoped Effects;Programming Languages and Systems;2022

2. Eilenberg–Moore Monoids and Backtracking Monad Transformers;Electronic Proceedings in Theoretical Computer Science;2016-04-01

3. Unifying structured recursion schemes;Journal of Functional Programming;2016

4. Generic Programming with Adjunctions;Lecture Notes in Computer Science;2012

5. Type Fusion;Algebraic Methodology and Software Technology;2011