Trends in functional programming

Authors:
Kevin Hammond;Sharon Curtis
Affiliations:
-;-
Venue:
Trends in functional programming
Year:
2002

Citing 0
Cited 1

Towards formally verifiable resource bounds for real-time embedded systems

ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems

Quantified Score

Hi-index	0.00

Visualization

Abstract