2 results for “partial application to functions”

Set a search alert

Research ArticleOpen accessIn the keywordsSemantics 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

Research ArticleOpen accessIn the abstractThe User Experience Analysis of Digital Health Tracking Application in IndonesiaSugiarto Hartono, Henricus Bambang Triantono, Hendri Hartono et al.Indonesia has an application for health tracking called SATUSEHAT. This application is used to search for hospitals, record vaccine data, and all functions related to public health. This application was first used since the COVID-19 pandemic in mid-2020. The problem is that people are starting to be reluctant to use the application. Initially, this application had 105 million users. Currently, … …Journal of Computer Science, Vol. 20, Issue 9 · 9 Jul 2024 · 5,260 accessesView PDF Cite