The call-by-need lambda calculus
type: Item
instance of: scholarly article
title: The call-by-need lambda calculus
zbMATH Open document ID: 0918.03019
DOI: 10.1017/S0956796898003037
author: J. Maraist
author: Martin Odersky
author: Philip Wadler
published in: Journal of Functional Programming
publication date: 1999-03-28T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1270234
zbMATH Keywords: strict functional languages
zbMATH Keywords: operational semantics
zbMATH Keywords: call-by-need
zbMATH Keywords: lambda calculus
zbMATH Keywords: standard reduction
zbMATH Keywords: observational equivalence
zbMATH Keywords: operational interpretation
MaRDI profile type: Publication
full work available at URL: s0956796898003037
OpenAlex ID: W2062838731
description: scientific article; zbMATH DE number 1270234