尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。
Abstract Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used as a minimal setting in which to present a range of semantic concepts in simple manner. In this setting, it is easy as 1,2,3.
DOI 原文 ·
@article{paperbot2148,
title = {Programming language semantics: It’s easy as 1,2,3},
author = {GRAHAM HUTTON},
journal = {Journal of Functional Programming},
volume = {33},
year = {2023},
doi = {10.1017/s0956796823000072}
}