Foundations of Strong Call by Need

Proceedings of the ACM on Programming Languages
doi 10.1145/3110264
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Call-By-Need Is Clairvoyant Call-By-Value

Proceedings of the ACM on Programming Languages
2019English

Advocacy: Strong Foundations

Nature
Multidisciplinary
2016English

Decidable Call-By-Need Computations in Term Rewriting

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2005English

A Non-Deterministic Call-By-Need Lambda Calculus

ACM SIGPLAN Notices
1999English

New Horizons and Strong Foundations

Aotearoa New Zealand Social Work
2017English

Macromolecular Reaction Engineering - From Strong Foundations to Recent Developments

Macromolecular Reaction Engineering
PolymersChemistryChemical EngineeringPlastics
2019English

Strong Reasons Make Strong Actions: Medical Cannabis and Cancer—a Call for Collective Action

Current Oncology
Oncology
2019English

Call Texaco Petrochemicals When You Need a Dependable Source of Cumene

Chemical and Engineering News
Chemical Engineering
1965English

Need for Recovery Assessment Among Nursing Professionals and Call Center Operators

Work
MedicineEnvironmentalPublic HealthRehabilitationOccupational Health
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy