Work

Checking a Denotational Semantics of Scheme in Agda

Year: 2025

Type: conference-paper

Abstract: The authoritative standards for the algorithmic language Scheme are the Scheme reports. Most of the revised reports include a denotational semantics for primitive Scheme expressions and selected procedures.

DOI: 10.1145/3759537.3762694

Author: Peter D. Mosses

Institutions: Swansea University, Delft University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4415008852

FWCI: 0.991

Cites: 22

Cited by: 1

Related to: