[ PLT ] 程式語言與理論

1

1

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

1年前, 02/18

問題

0

1

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

1年前, 09/26

實作

[實作] J010：MiniScheme, TinyScheme J010：MiniScheme, TinyScheme

1年前, 08/27

實作

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

1年前, 08/27

實作

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

1年前, 08/26

實作

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

1年前, 08/25

實作

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

1年前, 08/24

實作

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

1年前, 08/23

實作

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

1年前, 08/23

實作

[實作] J004：Samuel N. Kamin J004：Samuel N. Kamin

1年前, 08/22

實作

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

1年前, 08/21

實作

[實作] J002：minimal LISP with FORTH core J002：minimal LISP with FORTH core

1年前, 08/20

實作

[實作] J001：用 MinGW 編譯 Ratfor J001：用 MinGW 編譯 Ratfor

1年前, 08/19

連結

2

5

[連結] Functional Programming @ COSCUP 2022 Functional Programming @ COSCUP 2022

2年前, 04/27

1

3

求求labview高手指點求求labview高手指點

2年前, 12/16

閒聊

3

3

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

2年前, 11/10

心得

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

2年前, 09/15

討論

2

5

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

2年前, 07/07

連結

[連結] Learn OCaml the Hard Way Learn OCaml the Hard Way

3年前, 11/18

問題

0

2

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

3年前, 06/13

問題

2

6

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

4年前, 05/27

活動

5

5

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

4年前, 05/11

問題

2

13

[問題] Agda 的 instance resolution Agda 的 instance resolution

4年前, 04/26

連結

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

4年前, 04/25

連結

2

14

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

4年前, 04/08