Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract)

Authors:
Milind Gandhe;G. Venkatesh;Amitabha Sanyal
Affiliations:
-;-;-
Venue:
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Year:
1995

Citing 0
Cited 2

Analysis and caching of dependencies

Proceedings of the first ACM SIGPLAN international conference on Functional programming
TreeDroid: a tree automaton based approach to enforcing data processing policies

Proceedings of the 2012 ACM conference on Computer and communications security

Quantified Score

Hi-index	0.00

Visualization

Abstract