Succour to the confused deputy: Types for capabilities

Radha Jagadeesan; Corin Pitcher; James Riely

doi:10.1007/978-3-642-35182-2_6

Succour to the confused deputy: Types for capabilities

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings
Pages	66-81
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-35182-2_6
State	Published - 2012
Event	10th Asian Symposium on Programming Languages and Systems, APLAS 2012 - Kyoto, Japan Duration: Dec 11 2012 → Dec 13 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7705 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th Asian Symposium on Programming Languages and Systems, APLAS 2012
Country/Territory	Japan
City	Kyoto
Period	12/11/12 → 12/13/12

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-35182-2_6

Cite this

Jagadeesan, R., Pitcher, C., & Riely, J. (2012). Succour to the confused deputy: Types for capabilities. In Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings (pp. 66-81). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7705 LNCS). https://doi.org/10.1007/978-3-642-35182-2_6

Succour to the confused deputy: Types for capabilities. / Jagadeesan, Radha ; Pitcher, Corin ; Riely, James.
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. 2012. p. 66-81 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7705 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jagadeesan, R , Pitcher, C & Riely, J 2012, Succour to the confused deputy: Types for capabilities. in Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7705 LNCS, pp. 66-81, 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, Kyoto, Japan, 12/11/12. https://doi.org/10.1007/978-3-642-35182-2_6

@inproceedings{dd46c80c9a154eefb3c6a6fca32d6acb,

title = "Succour to the confused deputy: Types for capabilities",

author = "Radha Jagadeesan and Corin Pitcher and James Riely",

year = "2012",

doi = "10.1007/978-3-642-35182-2\_6",

language = "English",

isbn = "9783642351815",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "66--81",

booktitle = "Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings",

note = "10th Asian Symposium on Programming Languages and Systems, APLAS 2012 ; Conference date: 11-12-2012 Through 13-12-2012",

}

TY - GEN

T1 - Succour to the confused deputy

T2 - 10th Asian Symposium on Programming Languages and Systems, APLAS 2012

AU - Jagadeesan, Radha

AU - Pitcher, Corin

AU - Riely, James

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/pages/publications/84872242380

UR - https://www.scopus.com/pages/publications/84872242380#tab=citedBy

U2 - 10.1007/978-3-642-35182-2_6

DO - 10.1007/978-3-642-35182-2_6

M3 - Conference contribution

AN - SCOPUS:84872242380

SN - 9783642351815

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 66

EP - 81

BT - Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings

Y2 - 11 December 2012 through 13 December 2012

ER -

Succour to the confused deputy: Types for capabilities

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this