Stackability in the simply-typed call-by-value lambda calculus

Authors:
Anindya Banerjee;David A. Schmidt
Affiliations:
-;-
Venue:
Science of Computer Programming
Year:
1998

Citing 0
Cited 3

A new one-pass transformation into monadic normal form

CC'03 Proceedings of the 12th international conference on Compiler construction
Control-flow analysis of functional programs

ACM Computing Surveys (CSUR)
A synthetic operational account of call-by-need evaluation

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract