paperbot · PL 论文追踪

RSS

Programming language semantics: It’s easy as 1,2,3

JFP vol.332023
GRAHAM HUTTON

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(Abstract)

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 原文 ·

BibTeX
@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}
}