StandardML 97定义

实际标准ML规范是标准ML的定义(修订) ,仅在印刷版中可在MITPress上获得。 是否可以电子格式(pdf,ps,即)?     
已邀请:
没有。 我认为这是一个错误。语言的规范应该是免费的。否则,您自动限制对其感兴趣的人数。尽管如此,SML的定义确实是一项很好的工作 - 并且比任何其他语言都更加包容。规格。它可能也花了很多时间来写!     
该定义最近由麻省理工学院出版社提供,源代码在Github上,包括如何编译PDF的说明。     

要回复问题请先登录注册