Prospects for functional programming in software engineering

Authors:
J.-P. Banâtre;S. B. Jones;D. Le Métayer
Affiliations:
-;-;-
Venue:
Prospects for functional programming in software engineering
Year:
1991

Citing 0
Cited 3

Efficient execution of programs with static semantics

ACM SIGPLAN Notices
Proving Correctness of Programs with IO - A Paradigm Comparison

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Reasoning about i/o in functional programs

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Quantified Score

Hi-index	0.00

Visualization

Abstract