The semantics of lazy functional languages

Mark B. Josephs

doi:10.1016/0304-3975(89)90122-9

Theoretical Computer Science

Paper

16 Oct 1989

The semantics of lazy functional languages

View publication

Abstract

A denotational semantics for the λ-calculus is described. The semantics is continuation-based, and so reflects the order in which expressions are evaluated. It provides a means by which lazy functional languages can be better understood. © 1989.

Talk

Disconnection Aware Steering of Retrosynthesis Transformer to Facilitate Materials Design

Conference paper

Biologically-inspired training of spiking recurrent neural networks with neuromorphic hardware

Short paper

DASH: Visual Analytics for Debiasing Image Classification via User-Driven Synthetic Data Augmentation

Short paper

Learning GraphQL Query Cost

View all publications

Abstract

Related

Disconnection Aware Steering of Retrosynthesis Transformer to Facilitate Materials Design

Biologically-inspired training of spiking recurrent neural networks with neuromorphic hardware

DASH: Visual Analytics for Debiasing Image Classification via User-Driven Synthetic Data Augmentation

Learning GraphQL Query Cost