登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Verified functional programming in agda
出版社：New York : Association for Computing Machinery, c2016.
ISBN：9781970001273
出版年：2016
作者：Stump,Aaron.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Functional programming : practice and theory
  • 作者：MacLennan,Bruce J.
  • ISBN：0201137445
  • 出版社：Reading, Mass.: Addison-Wesley, c1990.
  • 出版年：1990
...

The implementation of functional programming languages
  • 作者：Peyton Jones,Simon L.
  • ISBN：013453333X
  • 出版社：New York: Prentice Hall, 1987.
  • 出版年：1987
...

Functional Programming Glasgow 1990
  • 作者：S.L.P.Jones
  • ISBN：0387196676
  • 出版社：0000.00
...

Computational semantics with functional programming
  • 作者：Eijck,J. van
  • ISBN：9780521757607
  • 出版社：Cambridge : Cambridge University Press, 2010.
  • 出版年：2010
...

Functional programming with Miranda
  • 作者：Holyer,Ian.
  • ISBN：0273034537
  • 出版社：London : Pitman, 1991.
  • 出版年：1991
...

Logical foundations of functional programming
  • 作者：Huet,Gerard.
  • ISBN：0201172348 13.50
  • 出版社：Reading : Addison-Wesley Pub. Co., 1990.
  • 出版年：1990