Fully Reflexive Intensional Type Analysis

Fully Reflexive Intensional Type Analysis (2000)

Cached

Download Links

[flint.cs.yale.edu]
[flint.cs.yale.edu]

Other Repositories/Bibliography

DBLP

by Valery Trifonov , Bratin Saha , Zhong Shao

Venue:	In Fifth ACM SIGPLAN International Conference on Functional Programming
Citations:	43 - 7 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Fully Reflexive Intensional Type Analysis	user correction - Legacy Corrections
AUTHOR NAME	Valery Trifonov	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Yale University	SVM HeaderParse 0.2
AUTHOR ADDR	New Haven, CT 06520-8285	SVM HeaderParse 0.1
AUTHOR NAME	Bratin Saha	SVM HeaderParse 0.1
AUTHOR AFFIL	{trifonov,	SVM HeaderParse 0.2
AUTHOR NAME	Zhong Shao	SVM HeaderParse 0.1
AUTHOR AFFIL	{trifonov,	SVM HeaderParse 0.2
ABSTRACT	Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures. Intensional type analysis is a type-theoretic framework for expressing and certifying such type-analyzing computations. Unfortunately, existing approaches to intensional analysis do not work well on types with universal, existential, or fixpoint quantifiers. This makes it impossible to code applications such as garbage collection, persistence, or marshalling which must be able to examine the type of any runtime value. We present a typed intermediate language that supports fully reflexive intensional type analysis. By fully reflexive, we mean that type-analyzing operations are applicable to the type of any runtime value in the language. In particular, we provide both type-level and term-level constructs for analyzing quantified types. Our system supports structural induction on quant...	user correction - Legacy Corrections
YEAR	2000	INFERENCE
VENUE	In Fifth ACM SIGPLAN International Conference on Functional Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	82--93	INFERENCE
CITATIONS	27 found	ParsCit 1.0