labspc
Search
Search
Dark mode
Light mode
Explorer
Tag: programming-abstraction
2 items with this tag.
Feb 20, 2024
SICP 之道：为什么这本书被奉为编程圣经？
programming-abstraction
computer-science
system-design
sisp
computational-thinking
Nov 03, 2023
类型系统与编程语言：TAPL 读书笔记与思考
type-systems
programming-languages
formal-semantics
type-theory
programming-abstraction