Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Unrestricted pure call-by-value recursion
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Galois Inc., Portland, OR.
University of Kansas, Lawrence, KS.
2008 (English)In: ML'08: proceedings of the 2008 ACM SIGPLAN Workshop on ML ; Victoria, British Columbia, Canada, September 21 2008 ; co-located with ICFP '08, New York: ACM Digital Library, 2008, p. 23-34Conference paper, Published paper (Refereed)
Abstract [en]

Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very appealing programming patterns that work well in lazy functional languages are hard to apply in a call-by-value setting, even though they might not be using laziness for any other purpose than to enable the desired form of recursion.In this paper we present an operational semantics as well as a straightforward implementation technique for unrestricted recursion under pure call-by-value. On that basis we are able to demonstrate that highly recursive programming idioms such as combinator-based parsing are indeed compatible with call-by-value evaluation.

Place, publisher, year, edition, pages
New York: ACM Digital Library, 2008. p. 23-34
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-28155DOI: 10.1145/1411304.1411309Local ID: 1db7a000-9eb7-11dd-a113-000ea68e967bISBN: 978-1-60558-062-3 (print)OAI: oai:DiVA.org:ltu-28155DiVA, id: diva2:1001350
Conference
ACM SIGPLAN International Conference on Functional Programming : 21/09/2008 - 21/09/2008
Note
Godkänd; 2008; 20081020 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Nordlander, Johan

Search in DiVA

By author/editor
Nordlander, Johan
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 108 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf