Singleton types here, singleton types there, singleton types everywhere
نویسندگان
چکیده
منابع مشابه
Singleton Kinds and Singleton Types
In this dissertation I study the properties of singleton kinds and singleton types. These are extremely precise classi ers for types and values, respectively: the kind of all types equal to [a given type], and the type of all values equal to [a given value]. Singletons are interesting because they provide a very general and modular form of de nition, allow ne-grained control of type computation...
متن کاملSubtyping with Singleton Types
We give syntax and a PER-model semantics for a typed-calculus with subtypes and singleton types. The calculus may be seen as a minimal calculus of sub-typing with a simple form of dependent types. The aim is to study singleton types and to take a canny step towards more complex dependent subtyping systems. Single-ton types have applications in the use of type systems for speciication and progra...
متن کاملStrong Normalization with Singleton Types
This paper presents a new lambda-calculus with singleton types, called λ ≤{}. The main novelty of λ ≤{} is the introduction of a new reduction, the δ-reduction, replacing any variable declared of singleton type by its value, and the definition of equality as the syntactic equality of βδ-normal forms. The δ-reduction has a very odd behavior on untyped terms, which renders its metatheoretical stu...
متن کاملMobile Processes with Dependent Communication Types and Singleton Types for Names and Capabilities⋆
There are many calculi for reasoning about concurrent communicating processes which have locations and are mobile. Examples include the original Ambient Calculus and its many variants, the Seal Calculus, the MR-calculus, the M-calculus, etc. It is desirable to use such calculi to describe the behavior of mobile agents. It seems reasonable that mobile agents should be able to follow non-predeter...
متن کاملSingleton Consistencies
We perform a comprehensive theoretical and empirical study of the benefits of singleton consistencies. Our theoretical results help place singleton consistencies within the hierarchy of local consistencies. To determine the practical value of these theoretical results, we measured the cost-effectiveness of pre-processing with singleton consistency algorithms. Our experiments use both random and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2010
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1816027.1816031