MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Lazy call-by-value evaluation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Lazy Call-By-Value Evaluation
by Bernd Braßel, Sebastian Fischer, Michael Hanus, Frank Huch — 2007 — In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP’07
…Abstract Lazy Call-By-Value Evaluation ∗ Bernd Braßel Sebastian Fischer Michael Hanus Frank Huch…
Cited by 3 (3 self) – Add To MetaCart

Some Results on the Full Abstraction Problem for Restricted Lambda Calculi
by Furio Honsell, Marina Lenisa, Dedicated To Corrado Bohm — 1993 — In Proc. of the 18 th International Symposium on Mathematical Foundations of Computer Science, MFCS'93, Springer LNCS
… as the abstract paradigm of functional programming languages with a lazy call-by-value evaluation mechanism…
Cited by 12 (0 self) – Add To MetaCart

Structures for Lazy Semantics
by Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca — 1997 — In Programming Concepts and Methods, PROCOMET'98. Chapman
… in coherence spaces. And indeed, in order to mimic the lifting construction for modeling the lazy call-by-value…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB