2 articles for “Lambda Calculus”

Set a search alert

Research ArticleOpen accessIn the keywordsML-Style Multi-Abstraction Calculus with Type Inference AlgorithmAzza A. TahaML-style multi-abstraction calculus, …Journal of Computer Science, Vol. 15, Issue 5 · 31 May 2019 · 7,228 accessesView PDF Cite

Research ArticleOpen accessIn the abstractSemantics of Lazy Evaluation using the Two-Level GrammarMahmoud A. AbouGhaly, Sameh S. Daoud, Azza A. Taha, Salwa M. AlyWe have formalized the semantics of lazy evaluation for the lambda calculus using the two-level grammar formalism. The resulting semantics enjoys several properties, e.g., there is a sharing in the recursive computation, there is no α conversion, the heap is automatically reclaimed, an attempt to evaluate an argument is done at most once and there is a sharing in the … …Journal of Computer Science, Vol. 4, Issue 1 · 31 Jan 2008 · 6,755 accessesView PDF Cite