搜索结果: 1-8 共查到“计算机科学技术 Types”相关记录8条 . 查询时间(0.096 秒)
We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by the user. Type inference is reduced to the problem of solvability of a s...
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
2016/5/24
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context free language (CFL) g...
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
福建农林大学计算机与信息学院JAVA语言程序设计课件Chapter2 Primitive Data Types and Operations
福建农林大学计算机与信息学院 JAVA语言程序设计 课件 Chapter2 Primitive Data Types and Operations
2015/9/21
福建农林大学计算机与信息学院JAVA语言程序设计课件Chapter2 Primitive Data Types and Operations。
Exploring the Types of SMEs Which Could use Blogs as a Marketing Tool: a Proposed Future Research Agenda
Marketing Branding Reputation Management
2009/12/8
Blogs appear to be gaining momentum as a marketing tool which can be used by organisations for such strategies and processes as branding, managing reputation, developing customer trust and loyalty, ni...
Organisational Forms and Knowledge Types: a cognitive mulit-actor approach
Organisational Forms Knowledge Types cognitive mulit-actor approach
2009/12/8
In this article knowledge types are combined with organizational forms. Knowledge is something individual actors have. This paves the way for a semio-cognitive approach to actors. Organizations in whi...