Concrete Generic Functionals-Reference-Cited by-同舟云学术

Concrete Generic Functionals

Published:2003 Issue: Volume: Page:89-119
ISSN:1868-4238
Container-title:Generic Programming
language:
Short-container-title:

Author:

Boute Raymond T.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35672-3_5

Reference31 articles.

1. Kevin and Roland Backhouse, “Logical Relations and Galois Connections”, in: Eerke A. Boiten and Bernhard Möller, eds., Mathematics of Program Construction (MPC2002), pp. 23–39. LNCS 2386, Springer-Verlag, Berlin (July 2002)

2. Henk P. Barendregt, The Lambda Calculus — Its Syntax and Semantics, North-Holland, Amsterdam (1984)

3. Michael Barr, Charles Wells, Category Theory for Computing Science (2nd. ed.). Prentice Hall International Series in Computer Science, London (1995)

4. Richard Bird, Introduction to Functional Programming using Haskell. Prentice Hall International Series in Computer Science, London (1998)

5. Robert H. Bishop, Learning with LabVIEW. Addison Wesley Longman (1999)

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

1. Pointfree expression and calculation: from quantification to temporal logic;Formal Methods in System Design;2010-10-20

2. Teaching and practicing computer science at the university level;ACM SIGCSE Bulletin;2009-06-25

3. Making Temporal Logic Calculational: A Tool for Unification and Discovery;FM 2009: Formal Methods;2009

4. Simple Gedanken Experiments in Leveraging Applications of Formal Methods;Communications in Computer and Information Science;2008

5. Calculational semantics;ACM Transactions on Programming Languages and Systems;2006-07