Transparent function types: clearing up opacity
Abstract
References
Index Terms
- Transparent function types: clearing up opacity
Recommendations
Liberal typing for functional logic programs
APLAS'10: Proceedings of the 8th Asian conference on Programming languages and systemsWe propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we propose ...
Modeling abstract types in modules with open existential types
POPL '09We propose F-zip, a calculus of open existential types that is an extension of System F obtained by decomposing the introduction and elimination of existential types into more atomic constructs. Open existential types model modular type abstraction as ...
Modeling abstract types in modules with open existential types
POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesWe propose F-zip, a calculus of open existential types that is an extension of System F obtained by decomposing the introduction and elimination of existential types into more atomic constructs. Open existential types model modular type abstraction as ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/18bd4dac-ff5f-4d31-bdda-bce4d98b5caf/2370776.cover.jpg)
- General Chairs:
- Danny De Schreye,
- Gerda Janssens,
- Program Chair:
- Andy King
Sponsors
- Kuleuven Belgium: Kuleuven Belgium
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
- Kuleuven Belgium
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 73Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in