Reasoning About Programs with Effects

Authors:
Ian A. Mason;Carolyn L. Talcott
Affiliations:
-;-
Venue:
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Year:
1990

Citing 0
Cited 2

A call-by-need lambda calculus

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract models of memory management

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Quantified Score

Hi-index	0.01

Visualization

Abstract