Superficially substructural types

Neelakantan R. Krishnaswami; Aaron Turon; Derek Dreyer; Deepak Garg

doi:10.1145/2364527.2364536

Superficially substructural types

Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

19 Citations (Scopus)

Original language	English
Pages	41-54
DOIs	https://doi.org/10.1145/2364527.2364536
Publication status	Published - 1 Sept 2012
Event	Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming - ICFP '12 - Copenhagen, Denmark Duration: 10 Sept 2012 → 12 Sept 2012

Conference

Conference	Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming - ICFP '12
Country/Territory	Denmark
City	Copenhagen
Period	10/09/12 → 12/09/12

Access to Document

10.1145/2364527.2364536

http://dl.acm.org/citation.cfm?doid=2364527.2364536

Cite this

@conference{b1e20242f9e44260aad925be87e94e2b,

title = "Superficially substructural types",

author = "Krishnaswami, {Neelakantan R.} and Aaron Turon and Derek Dreyer and Deepak Garg",

year = "2012",

month = sep,

day = "1",

doi = "10.1145/2364527.2364536",

language = "English",

pages = "41--54",

note = "Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming - ICFP '12 ; Conference date: 10-09-2012 Through 12-09-2012",

}

TY - CONF

T1 - Superficially substructural types

AU - Krishnaswami, Neelakantan R.

AU - Turon, Aaron

AU - Dreyer, Derek

AU - Garg, Deepak

PY - 2012/9/1

Y1 - 2012/9/1

U2 - 10.1145/2364527.2364536

DO - 10.1145/2364527.2364536

M3 - Paper

SP - 41

EP - 54

T2 - Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming - ICFP '12

Y2 - 10 September 2012 through 12 September 2012

ER -