Typing Local Definitions and Conditional Expressions with Rank 2 Intersection

Authors:
Ferruccio Damiani
Affiliations:
-
Venue:
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Year:
2000

Citing 13
Cited 1

Smartest recompilation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A direct algorithm for type inference in the rank-2 fragment of the second-order &lgr;-calculus

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Embedding a second-order type system into an intersection type system

Information and Computation
Principal types and unification for simple intersection type systems

Information and Computation
What are principal typings and what are they good for?

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Basic simple type theory

Basic simple type theory
Principality and decidable type inference for finite-rank intersection types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Definition of Standard ML

The Definition of Standard ML
Polymorphic type inference

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principal type-schemes for functional programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Decidable Intersection Type System based on Relevance

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Polymorphic Type Schemes and Recursive Definitions

Proceedings of the 6th Colloquium on International Symposium on Programming
Rank 2 Type Systems and Recursive Definitions

Rank 2 Type Systems and Recursive Definitions

Strict intersection types for the Lambda Calculus

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a variant of the system of rank 2 intersection types with new typing rules for local definitions (let-expressions and letrec-expressions) and conditional expressions (if-expressions and case-expressions). These extensions are a further step towards the use of intersection types in "real" programming languages.