Inductive Definitions
摘要：
背景呢还是背景呢 这学期学了一门 "Type System and Programming Language" ，感觉是一门很有意思的课。虽然讲的是编程语言，但是很多思想其实工作的时候可能也会用的到。记得老师有一节课说:『你们现在不学习（PL），以后就不会学了。这是你们多数人唯一的机会了』。这门课有 阅读全文
posted @ 2015-12-18 14:50 FishBoneX 阅读(678) 评论(0) 推荐(0) 编辑
