Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Modular control-flow analysis with rank 2 intersection types
Mathematical Structures in Computer Science
Type assignment and termination of interaction nets
Mathematical Structures in Computer Science
Using intersection types for cost-analysis of higher-order polymorphic functional programs
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Hi-index | 0.00 |