Elaborating Intersection and Union Types

Dunfield, Joshua

doi:10.1145/2364527.2364534

Local TagsRelease HistoryDetailsSummary

Elaborating Intersection and Union Types

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.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8B06-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8B07-8

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Dunfield, Joshua^{1, 2, 3}, Author

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286
2Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105294
3Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2012

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 629998
URI: http://doi.acm.org/10.1145/2364527.2364534
DOI: 10.1145/2364527.2364534

Degree: -

Event

show

hide

Title: ICFP'12

Place of Event: Copenhagen, Denmark

Start-/End Date: 2012-09-09 - 2012-09-15

Legal Case

show

Project information

show

Source 1

show

hide

Title: ICFP’12 : Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 17 - 28 Identifier: ISBN: 978-1-4503-1054-3