You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Cambridge » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Cambridge

Return to search Previous output Next output

Output 103 of 184 in the submission

Output title

Nominal System T

Type

E - Conference contribution

DOI

10.1145/1706299.1706321

Name of conference/published proceedings

POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES

Volume number

Issue number

First page of article

159

ISSN of proceedings

Year of publication

2010

URL

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000281053800015&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=940c5db9f6a527ba8e12659dac275555

Number of additional authors

Additional information

<10> POPL is the premier conference series for research in programming language theory. This was one of 39 accepted papers out of 207 submitted to POPL 2010. A revised and very much expanded version of the paper has appeared as: A. M. Pitts, "Structural Recursion with Locally Scoped Names", Journal of Functional Programming, 21 (3): 235-286, 2011. This item also appears in citations as: ACM SIGPLAN NOTICES. 45: 159-170, Jan 2010.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract