Functional Algorithm Design

Authors:
Richard S. Bird
Affiliations:
-
Venue:
MPC '95 Mathematics of Program Construction
Year:
1995

Citing 0
Cited 2

Functional programming with graphs

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
An iterator construct for the refinement calculus

IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract