𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Efficient Inference of Object Types

✍ Scribed by J. Palsberg

Book ID
112252192
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
962 KB
Volume
123
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Efficient inference of partial types
Efficient inference of partial types
✍ Dexter Kozen; Jens Palsberg; Michael I. Schwartzbach πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 799 KB

Partial types for the 2-calculus were introduced by Thatte in 1988 as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persistent data. In that paper he showed that type inference for partial types was semidecidable. Decidability remained open until q

Type Inference for Variant Object Types
Type Inference for Variant Object Types
✍ Michele Bugliesi; Santiago M. PericΓ‘s-Geertsen πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 236 KB
Statistical inference for aggregates of
Statistical inference for aggregates of Farrell-type efficiencies
✍ LΓ©opold Simar; Valentin Zelenyuk πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 481 KB

## Abstract In this study, we merge results of two recent directions in efficiency analysis researchβ€”aggregation and bootstrapβ€”applied, as an example, to one of the most popular point estimators of individual efficiency: the data envelopment analysis (DEA) estimator. A natural context of the method

Breaking through then3 barrier: Faster o
Breaking through then3 barrier: Faster object type inference
✍ Henglein, Fritz πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 217 KB

Abadi and Cardelli present a series of type systems for their object calculi, four of which are first-order. Palsberg has shown how typability in each one of these systems can be decided in time O(n 3 ) and space O(n 2 ), where n is the size of an untyped object expression, using an algorithm base