column

Principles of POPL

Authors:
Derek Dreyer

MPI-SWS, Germany

MPI-SWS, Germany
View Profile

,
John Field

Google, USA

Google, USA
View Profile

,
Roberto Giacobazzi

Università di Verona, Italy

Università di Verona, Italy
View Profile

,
Michael Hicks

University of Maryland, USA

University of Maryland, USA
View Profile

,
Suresh Jagannathan

Purdue University

Purdue University
View Profile

,
Mooly Sagiv

Tel Aviv University Israel

Tel Aviv University Israel
View Profile

,
Peter Sewell

University of Cambridge, UK

University of Cambridge, UK
View Profile

,
Phil Wadler

University of Edinburgh, UK

University of Edinburgh, UK
View Profile
Authors Info & Affiliations

Publication: ACM SIGPLAN NoticesJuly 2013 https://doi.org/10.1145/2502508.2502517

ACM SIGPLAN Notices

April 2013

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Published in

ACM SIGPLAN Notices Volume 48, Issue 4S
Supplemental issue
April 2013
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/2502508
Issue’s Table of Contents

Copyright © 2013 Authors
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 9 July 2013
Qualifiers
- column
Conference
Funding Sources
Contributor Metrics
Expand All

Derek R Dreyer Max Planck Institute for Software Systems

Publication Years1996 - 2019
Publication counts51
Available for Download69
Citation count2,673
Downloads (cumulative)30,607
Downloads (6 weeks)452
Downloads (12 months)6,008
Average Citation per Article52
Average Downloads per Article444
View Full Profile

John Field IBM Thomas J. Watson Research Center

Publication Years1996 - 2014
Publication counts10
Available for Download9
Citation count164
Downloads (cumulative)3,777
Downloads (6 weeks)8
Downloads (12 months)255
Average Citation per Article16
Average Downloads per Article420
View Full Profile

Roberto Giacobazzi University of Verona

Publication Years1990 - 2019
Publication counts86
Available for Download29
Citation count1,198
Downloads (cumulative)12,915
Downloads (6 weeks)151
Downloads (12 months)2,052
Average Citation per Article14
Average Downloads per Article445
View Full Profile

Michael Hicks University of Maryland

Publication Years1991 - 2020
Publication counts110
Available for Download99
Citation count5,723
Downloads (cumulative)64,371
Downloads (6 weeks)791
Downloads (12 months)10,844
Average Citation per Article52
Average Downloads per Article650
View Full Profile

Suresh Jagannathan Purdue University

Publication Years1987 - 2019
Publication counts101
Available for Download60
Citation count2,235
Downloads (cumulative)26,187
Downloads (6 weeks)61
Downloads (12 months)2,037
Average Citation per Article22
Average Downloads per Article436
View Full Profile

Mooly Sagiv Tel Aviv University

Publication Years2005 - 2017
Publication counts24
Available for Download25
Citation count584
Downloads (cumulative)10,481
Downloads (6 weeks)94
Downloads (12 months)1,199
Average Citation per Article24
Average Downloads per Article419
View Full Profile

Peter Sewell University of Cambridge

Publication Years1996 - 2019
Publication counts77
Available for Download67
Citation count4,198
Downloads (cumulative)42,638
Downloads (6 weeks)489
Downloads (12 months)5,420
Average Citation per Article55
Average Downloads per Article636
View Full Profile

Philip Wadler The University of Edinburgh

Publication Years1976 - 2020
Publication counts121
Available for Download76
Citation count8,058
Downloads (cumulative)88,021
Downloads (6 weeks)497
Downloads (12 months)19,352
Average Citation per Article67
Average Downloads per Article1,158
View Full Profile

Authors:

Derek Dreyer

MPI-SWS, Germany

MPI-SWS, Germany
View Profile

,

John Field

Google, USA

Google, USA
View Profile

,

Roberto Giacobazzi

Università di Verona, Italy

Università di Verona, Italy
View Profile

,

Michael Hicks

University of Maryland, USA

University of Maryland, USA
View Profile

,

Suresh Jagannathan

Purdue University

Purdue University
View Profile

,

Mooly Sagiv

Tel Aviv University Israel

Tel Aviv University Israel
View Profile

,

Peter Sewell

University of Cambridge, UK

University of Cambridge, UK
View Profile

,

Phil Wadler

University of Edinburgh, UK

University of Edinburgh, UK
View Profile

Authors Info & Affiliations
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 232
  Total Downloads
- Downloads (Last 12 months)23
- Downloads (Last 6 weeks)1
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

0References

Principles of POPL

Save to Binder

ACM SIGPLAN Notices

Comments

Login options

Full Access

Published in

Sponsors

In-Cooperation

Publisher

Publication History

Qualifiers

Conference

Funding Sources

Contributor Metrics

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF Format

eReader

Digital Edition

Caption

Principles of POPL

New Citation Alert added!

New Citation Alert!

Save to Binder

ACM SIGPLAN Notices

Comments

Login options

Full Access

Published in

Sponsors

In-Cooperation

Publisher

Publication History

Qualifiers

Conference

Funding Sources

Article Metrics

Other Metrics

PDF Format

eReader

Digital Edition

Share this Publication link

Share on Social Media

Export Citation

About Cookies On This Site