[ PLT ] 程式語言與理論

公告

[公告] 版規 v0.91 版規 v0.91 置底

公告

[公告] 本板討論範圍本板討論範圍置底

公告

3

[公告] 板規 v0.9 板規 v0.9 置底

情報

2

2

[情報] 2023年圖靈獎得主 Avi Wigderson 2023年圖靈獎得主 Avi Wigderson

1年前, 04/10

閒聊

0

1

[閒聊] 編譯器製作課本：編譯的要素編譯器製作課本：編譯的要素

2年前, 07/18

Fw: [心得] 關於依值型別以及和形式邏輯的心得 Fw: [心得] 關於依值型別以及和形式邏輯的心得

2年前, 07/18

連結

[連結] FunTh#85 FunTh#85

2年前, 05/24

連結

3

6

[連結] FunTh#84 FunTh#84

2年前, 05/03

連結

[連結] APLAS 2023 APLAS 2023

2年前, 03/22