Higher-Order Intensional Type Analysis

Authors:
Stephanie Weirich
Affiliations:
-
Venue:
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Year:
2002

Citing 23
Cited 17

Abstract types have existential type

ACM Transactions on Programming Languages and Systems (TOPLAS)
Higher-order abstract syntax

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
How to make ad-hoc polymorphism less ad hoc

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic typing in a statically typed language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Extensional polymorphism

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling polymorphism using intensional type analysis

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Standardization activities: International—ISO

Computer Standards & Interfaces
Bananas in space: extending fold and unfold to exponential types

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Type-directed partial evaluation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PolyP—a polytypic programming language extension

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Flexible type analysis

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Fully reflexive intensional type analysis

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The Definition of Standard ML

The Definition of Standard ML
The Java Language Specification

The Java Language Specification
Primitive Recursion for Higher-Order Abstract Syntax

TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Safe and Flexible Dynamic Linking of Native Code

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Polytypic Values Possess Polykinded Types

MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Programming with types

Programming with types
Recursion over objects of functional type

Mathematical Structures in Computer Science
Functorial ML

Journal of Functional Programming
Type-indexed data types

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)

Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Global abstraction-safe marshalling with hash types

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Dependency-style generic haskell

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Type-indexed data types

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
An open and shut typecase

TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TypeCase: a design pattern for type-indexed functions

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
RepLib: a library for derivable type classes

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Good advice for type-directed programming aspect-oriented programming and extensible generic functions

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Type-safe run-time polytypic programming

Journal of Functional Programming
Iteration and coiteration schemes for higher-order and nested datatypes

Theoretical Computer Science - Foundations of software science and computation structures
Typing communicating component assemblages

GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Typing Component-Based Communication Systems

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A Design for Type-Directed Programming in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing approaches to generic programming in Haskell

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Typing unmarshalling without marshalling types

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Intensional type analysis provides the ability to analyze abstracted types at run time. In this paper, we extend that ability to higher-order and kind-polymorphic type constructors. The resulting language is elegant and expressive. We show through examples how it extends the repertoire of polytypic definitions and the domain of valid types for those definitions.