The logic and expressibility of simply-typed call-by-value and lazy languages

Authors:
Jon Gary Riecke
Affiliations:
Massachusetts Institute of Technology, Cambridge
Venue:
The logic and expressibility of simply-typed call-by-value and lazy languages
Year:
1992

Citing 0
Cited 2

Algebraic reasoning and completeness in typed languages

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Isolating side effects in sequential languages

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

Quantified Score

Hi-index	0.00

Visualization

Abstract