SF (软件基础) PLF (编程语言基础) Coq 笔记

「SF-PLF」12 Records

Programming Language Foundations - Adding Records To STLC

Posted by Hux on March 12, 2019

Adding Records

1
2
3
4
5
6
7
8
9
10
11
12

t ::=                          Terms:
    | {i1=t1, ..., in=tn}         record
    | t.i                         projection
    | ...

v ::=                          Values:
    | {i1=v1, ..., in=vn}         record value
    | ...

T ::=                          Types:
    | {i1:T1, ..., in:Tn}         record type
    | ...

Formalizing Records

CATALOG
知乎 笔记 Coq SF (软件基础) Web PLF (编程语言基础) LF (逻辑基础) PWA 产品 UX/UI JavaScript Meta Slides 译 阿里 基础 微信 计算理论 C C++ CSS En Vim hUX 随想录
FRIENDS