Elaborating Intersection and Union Types

Dunfield, Joshua

doi:10.1145/2364527.2364534

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Elaborating Intersection and Union Types

MPS-Authors

/persons/resource/persons180293

Dunfield, Joshua
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society;
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Dunfield, J. (2012). Elaborating Intersection and Union Types. In ICFP’12: Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming (pp. 17-28). New York, NY: ACM.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0028-8B06-A

Abstract

There is no abstract available