Value recursion in monadic computations

Authors:
John Launchbury;Levent Erkok
Affiliations:
-;-
Venue:
Value recursion in monadic computations
Year:
2002

Citing 0
Cited 2

An adequate, denotational, functional-style semantics for typed FlatCurry

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Efficient and compositional higher-order streams

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract