Functional programming with Miranda

出版社:London : Pitman, 1991.
ISBN:0273034537
出版年:1991
作者:Holyer,Ian.
资源类型:图书
细分类型:西文文献
相关推荐

Logical foundations of functional programming

  • 作者:Huet,Gerard.
  • ISBN:0201172348 13.50
  • 出版社:Reading : Addison-Wesley Pub. Co., 1990.
  • 出版年:1990

Functional programming : practice and theory

  • 作者:MacLennan,Bruce J.
  • ISBN:0201137445 22.40
  • 出版社:Reading, Mass.: Addison-Wesley, c1990.
  • 出版年:1990

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

Verified functional programming in agda

  • 作者:Stump,Aaron.
  • ISBN:9781970001273
  • 出版社:New York : Association for Computing Machinery, c2016.
  • 出版年:2016

Functional Programming Glasgow 1990

  • 作者:S.L.P.Jones
  • ISBN:0387196676
  • 出版社:0000.00