Results 1 - 7 of 7

Under consideration for publication in J. Functional Programming 1 Phantom Types and Subtyping

by Matthew Fluet, Riccardo Pucella , 2006
"... We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to model a subtyping hierarchy. Hindley-Milner type systems, such as the one found in Standard ML, can be used to enforce the ..."
Abstract - Add to MetaCart
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to model a subtyping hierarchy. Hindley-Milner type systems, such as the one found in Standard ML, can be used to enforce

Abstract ML 2005 Preliminary Version Practical Datatype Specializations with Phantom Types and Recursion Schemes

by Matthew Fluet, Riccardo Pucella
"... Datatype specialization is a form of subtyping that captures program invariants on data structures that are expressed using the convenient and intuitive datatype notation. Of particular interest are structural invariants such as well-formedness. We investigate the use of phantom types for describing ..."
Abstract - Add to MetaCart
Datatype specialization is a form of subtyping that captures program invariants on data structures that are expressed using the convenient and intuitive datatype notation. Of particular interest are structural invariants such as well-formedness. We investigate the use of phantom types

The Tinnitus Research Initiative (TRI) database: a new approach for delineation of tinnitus subtypes and generation of predictors for treatment outcome,”

by Michael Landgrebe , Florian Zeman , Michael Koller , Yvonne Eberl , Markus Mohr , Jean Reiter , Susanne Staudinger , Goeran Hajak , Berthold Langguth - BMC Medical Informatics and Decision Making, , 2010
"... Abstract Tinnitus, the phantom perception of sound, is a frequent disorder that causes significant morbidity and treatment is elusive. A large variety of different treatment options have been proposed and from most of them some patients benefit. However, a particular treatment that helps one patien ..."
Abstract - Cited by 9 (4 self) - Add to MetaCart
Abstract Tinnitus, the phantom perception of sound, is a frequent disorder that causes significant morbidity and treatment is elusive. A large variety of different treatment options have been proposed and from most of them some patients benefit. However, a particular treatment that helps one

unknown title

by Phantom Types, Subtyping, Matthew Fluet, Riccardo Pucelladepartment, Computer Science, Riccardo""@cs. Cornell. Edu
"... Abstract We investigate a technique from the literature, called the phantom types tech-nique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to model a subtyping hierarchy. Hindley-Milner type systems,such as the one found in ML, can be used to enforce the ..."
Abstract - Add to MetaCart
Abstract We investigate a technique from the literature, called the phantom types tech-nique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to model a subtyping hierarchy. Hindley-Milner type systems,such as the one found in ML, can be used to enforce

RESEARCH ARTICLE 18F-FDG PET-Derived Textural Indices Reflect Tissue-Specific Uptake Pattern in Non-Small

by Cell Lung Cancer, Fanny Orlhac, Michaël Soussan, Kader Chouahnia, Emmanuel Martinod, Irène Buvat , 1371
"... Purpose Texture indices (TI) calculated from 18F-FDG PET tumor images show promise for predict-ing response to therapy and survival. Their calculation involves a resampling of standard-ized uptake values (SUV) within the tumor. This resampling can be performed differently and significantly impacts t ..."
Abstract - Add to MetaCart
and metabolic volume (MV) in the phantom, tumors and healthy tissue using the usual relative resampling (RR) method and an absolute resampling (AR) method. The differences in TI values between tissue types and cancer subtypes were investigated using Wilcoxon’s tests. Results Most RR-based TI were highly

Abstract Oleg Kiselyov

by unknown authors
"... Lightweight static capabilities are abstract data types that ensure safety properties of data access such as the absence of buffer overflows. They enable modular and gradual verification in mainstream languages. The approach relies on the type system to propagate trust from a compact security kernel ..."
Abstract - Add to MetaCart
, and run-time exceptions. A program may allocate arbitrarily many resources and dispose of them in any order, not necessarily LIFO. We use phantom types and (parameterized) monads to associate resources with regions and track the state of resources. The type system infers effects in the form of type

Lightweight Monadic Regions Oleg Kiselyov

by Chung-chieh Shan
"... We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to close it. The libraries can be trivially extended to other resources such as database connections and graphic contexts. Becaus ..."
Abstract - Add to MetaCart
dynamically. For contrast, we also implement a Haskell library for manual resource management, where deallocation is explicit and safety is assured by a form of linear types. We implement the linear typing in Haskell with the help of phantom types and a parameterized monad to statically track the type
Results 1 - 7 of 7