[ PLT (程式語言與理論) ] 程式語言與理論

1

1

Fw: [台北] 中研院資訊所穆信成實驗室徵專任研究助理

1年前, 02/18

0

1

[問題]徵求前輩教導硬體描述語言CPLD

2年前, 09/26

[實作] J010：MiniScheme, TinyScheme

2年前, 08/27

[實作] J009：Fast or Fuzix' Forth (fforth)

2年前, 08/27

[實作] J008：HOC (High Order Calculator)

2年前, 08/26

[實作] J007：Samuel N. Kamin (P2C Version)

2年前, 08/25

[實作] J006：P2C - a Pascal to C translator

2年前, 08/24

[實作] J005：AWKcc - awk-to-C transcompiler B

2年前, 08/23

[實作] J005：AWKcc - awk-to-C transcompiler A

2年前, 08/23

[實作] J004：Samuel N. Kamin

2年前, 08/22

[實作] J003：Lisp500 - real name is Lisp1k5

2年前, 08/21

[實作] J002：minimal LISP with FORTH core

2年前, 08/20

1

1

[實作] J001：用 MinGW 編譯 Ratfor

2年前, 08/19

2

5

[連結] Functional Programming @ COSCUP 2022

2年前, 04/27

1

3

求求labview高手指點

2年前, 12/16

3

3

[閒聊] 怎麼跟剛學 (Rust) 程式的人解釋指標？

3年前, 11/10

[心得] 真心推薦這個已刪文

3年前, 09/15

2

5

[討論] 請問要簡單的檔案歸檔

3年前, 07/07

[連結] Learn OCaml the Hard Way

4年前, 11/18

0

2

[問題] 幫我看手機已刪文

4年前, 06/13

2

6

[問題] 請問main()和main(void)的差別

4年前, 05/27

5

5

[活動] FLOL∀C 2020 邏輯、語言與計算暑期研習營

4年前, 05/11

2

13

[問題] Agda 的 instance resolution

4年前, 04/26

Re: [連結] Josh Ko: 看看程式語言學在幹嘛

4年前, 04/25

2

14

[連結] Josh Ko: 看看程式語言學在幹嘛

4年前, 04/08