保存此搜索
结构参数多态的参数分型 我们研究了结构亚型与参数多态性和递归定义的类型构造函数的相互作用。 虽然在这种情况下结构子类型是不确定的,但我们描述了类型构造函数的参数概念,然后。。。 研究论文 2022年2月 基于类图等价性的命名类型和结构类型的分型方案 子类型化和多重继承是oo和基于组件的编程语言的基本特性,特别是在存在接口和契约的情况下。 更一般的是,这些结构的可组合性允许子类型。。。 研究论文 2008年10月 白橡木 :将结构类型引入java 本文介绍了WHITEOAK:一个JAVA扩展,它将结构类型等价和子类型引入到语言中。 我们认为,结构子类型解决了常见的软件设计问题,并促进了松散耦合。。。 另发布于: ACM SIGPLAN通知:第43卷2008年9月10日发行 第条 2007年10月 结合结构子类型和外部调度 OOPSLA’07:第22届ACM SIGPLAN面向对象编程系统和应用程序会议随行 2007年10月, 第951-952页 https://doi.org/10.1145/12297846.1297961 命名子类型(或用户定义的子类型)和结构子类型各有优缺点。 名字子类型允许程序员显式地表达设计意图,并且当类型与运行时标记关联时,可以启用运行。。。 第条 2007年10月 结合结构子类型和外部调度 本文介绍了我们的语言Unity的设计。 Unity有一个新颖的分型系统,它结合了名称和结构分型。 通过这种组合,Unity提供了结构子类型的灵活性,同时仍然允许静态。。。 -
第条 2003年8月 HM(X)在有界存在和通用数据类型下的扩展 我们建议HM的保守扩展( X )是一个通用的基于约束的类型推理框架,具有有界存在(也称为抽象)和通用(也称为多态)数据类型。 在文章的第一部分,它仍然是对……的抽象。。。 另发布于: ACM SIGPLAN通知:第38卷,2003年9月9日发行