Work

A non-deterministic call-by-need lambda calculus

Year: 1998

Type: conference-paper

Source: ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/289423.289462

Authors: Arne Kutzner, Manfred Schmidt-Schauß

Institution: Goethe University Frankfurt

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2166853829

FWCI: 0.634

Cites: 32

Cited by: 23

Related to: 10