Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Nodal staging has been identified as an independent indicator of prognosis. Quantitative RT-PCR data was taken for 70 genes associated with bladder cancer and genetic programming ...
Arpit A. Almal, Anirban P. Mitra, Ram H. Datar, Pe...
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...