A logic for miranda

Authors:
S. Thompson
Affiliations:
-
Venue:
Formal Aspects of Computing
Year:
1989

Citing 0
Cited 3

An operational semantics for I/O in a lazy functional language

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Supporting reasoning about functional programs: an operational approach

FP'95 Proceedings of the 1995 international conference on Functional Programming
The ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract