Conference item

The weak call-by-value lambda-calculus is reasonable for both time and space

Publication status:: Published

Peer review status:: Reviewed (other)

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Roth, M., Forster, Y., & Kunze, F. (2020). The weak call-by-value lambda-calculus is reasonable for both time and space. 2020 Symposium on Principles of Programming Languages, 4(No. POPL).

MLA Style

Roth, M, et al. “The Weak Call-by-Value Lambda-Calculus Is Reasonable for Both Time and Space.” 2020 Symposium on Principles of Programming Languages, vol. 4, no. No. POPL, 2020.

Chicago Style

Roth, M, Y Forster, and F Kunze. 2020. “The Weak Call-by-Value Lambda-Calculus Is Reasonable for Both Time and Space.” In 2020 Symposium on Principles of Programming Languages. Vol. 4. Association for Computing Machinery.
Print

Access Document

Files:: Forster_et_al_2020_the_weak_call_by_value_lambda_calculus.pdf

(Preview, Version of record, pdf, 410.9KB, Terms of use)

Publisher copy:: 10.1145/3371095

Authors

+ Roth, M More by this author

Institution:: University of Oxford
Department:: Computer Science
Department:: Unknown
Role:: Author

+ Forster, Y More by this author

Role:: Author

+ Kunze, F More by this author

Role:: Author

Publisher:: Association for Computing Machinery
Host title:: Proceedings of the ACM on Programming Languages
Journal:: Proceedings of the ACM on Programming Languages More from this journal
Volume:: 4
Issue:: No. POPL
Article number:: 27
Publication date:: 2020-01-01
Acceptance date:: 2019-11-06
Event title:: 2020 Symposium on Principles of Programming Languages
Event location:: New Orleans, United States
Event start date:: 2020-01-19
Event end date:: 2020-01-25
DOI:: 10.1145/3371095
EISSN:: 2475-1421

Language:: English
Keywords:: FFR
Pubs id:: pubs:1070879
UUID:: uuid:76d38a1d-9e53-472b-8848-3c28b6932f11
Local pid:: pubs:1070879
Source identifiers:: 1070879
Deposit date:: 2019-11-11
ARK identifier:: ark:/29072/ora_76d38a1d9e53472b88483c28b6932f11

Terms of use

Copyright holder:: Forster et al.
Copyright date:: 2020
Rights statement:: © 2020 Copyright held by the owner/author(s). 2020.This work is licensed under a Creative Commons Attribution 4.0 International License.

Licence:: CC Attribution (CC BY)

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP