1. PTT
  2. PLT

[問題] How useful is category theory to PLT?

作者: carelai (我心依舊)   2015-11-19 15:35:52
Is it a must to learn in order to conduct researches in PLT?
作者: suhorng ( )   2015-11-19 15:52:00
作PLT的什麼研究? PLT範圍很大
作者: carelai (我心依舊)   2015-11-19 16:26:00
models and semanticsWhat do you think?
作者: suhorng ( )   2015-11-19 22:11:00
I'm sorry. I'm not familiar with this area...Just that indeed people give categorical semantics
繼續閱讀
[問題] 有人能很好地講解一下Scott semantics嗎?carelai[情報] Functional Thursday #31CindyLinz[情報] Functional Thursday #30CindyLinz[情報] Functional Thursday #29CindyLinz[問題] Lattice Theory在PLT的重要性？carelai[情報] Functional Thursday #28CindyLinz[徵才] 日本IT企業聯合徵才活動-即日開始報名!reeracoen15bare-metal scheme by c++descent[問題] PSoC設計 倒數警爆器ianchi[網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'15)pa4373

Links booklink

Contact Us: admin [ a t ] ucptt.com