频道

  • 扫一扫安装书房APP

  • 扫一扫关注微信号

九思
九思
私信
https://www.docin.com/dragonlyj
关注领域：IT计算机,生活休闲
flying
  • 文档 471
  • |
  • 总浏览量 5155
  • |
  • 粉丝  
九思
https://www.docin.com/dragonlyj

关注领域：IT计算机,生活休

flying

私信
九思
  • 文档 471
  • |
  • 总浏览量 5155
  • |
  • 粉丝  
主页 新鲜事 他的文档 他的收藏 豆单/专题 他的关注 他的成长 他的资料

最近上架的文档

Introduction to Bayesian Statistics (3rd) 620 p
Introduction to Bayesian Statistics (3rd)
Type Directed Compilation of Row-typed Algebraic Effects 13 p
Type Directed Compilation of Row-typed Algebraic Effects
Substructural Logical Specifications (PhD thesis Robert J Simmons) 316 p
Substructural Logical Specifications (PhD thesis Robert J Simmons)
Request for Logic What does focusing tell us about language design 14 p
Request for Logic What does focusing tell us about language design
Request for Logic Embracing and extending the Levy language 6 p
Request for Logic Embracing and extending the Levy language
On Interaction, Continuations and Defunctionalization (tlca13) 16 p
On Interaction, Continuations and Defunctionalization (tlca13)
Lecture Notes on Call-by-Push-Value (21-cbpv) 13 p
Lecture Notes on Call-by-Push-Value (21-cbpv)
koka (2012-overview) 29 p
koka (2012-overview)
查看全部>>

他的勋章

更多
初涉豆丁
初露锋芒
崭露头角
手机达人
全勤新人
全勤模范
全勤达人