Functional Domains of Applicative Languages
The expressive power of a particular applicative language may be characterized by the set of abstract functions directly representable in that language. The common FUNARG and applicative order problems are scrutinized in this way, and the effects of these weaknesses are related to the inexpressibili...
Main Author: | |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149436 |
_version_ | 1811078957474250752 |
---|---|
author | Ward, Stephen A. |
author_facet | Ward, Stephen A. |
author_sort | Ward, Stephen A. |
collection | MIT |
description | The expressive power of a particular applicative language may be characterized by the set of abstract functions directly representable in that language. The common FUNARG and applicative order problems are scrutinized in this way, and the effects of these weaknesses are related to the inexpressibility of classes of functions. |
first_indexed | 2024-09-23T11:07:55Z |
id | mit-1721.1/149436 |
institution | Massachusetts Institute of Technology |
last_indexed | 2024-09-23T11:07:55Z |
publishDate | 2023 |
record_format | dspace |
spelling | mit-1721.1/1494362023-03-30T03:55:51Z Functional Domains of Applicative Languages Ward, Stephen A. The expressive power of a particular applicative language may be characterized by the set of abstract functions directly representable in that language. The common FUNARG and applicative order problems are scrutinized in this way, and the effects of these weaknesses are related to the inexpressibility of classes of functions. 2023-03-29T14:58:42Z 2023-03-29T14:58:42Z 1974-09 https://hdl.handle.net/1721.1/149436 03954974 MIT-LCS-TR-136 MAC-TR-136 application/pdf |
spellingShingle | Ward, Stephen A. Functional Domains of Applicative Languages |
title | Functional Domains of Applicative Languages |
title_full | Functional Domains of Applicative Languages |
title_fullStr | Functional Domains of Applicative Languages |
title_full_unstemmed | Functional Domains of Applicative Languages |
title_short | Functional Domains of Applicative Languages |
title_sort | functional domains of applicative languages |
url | https://hdl.handle.net/1721.1/149436 |
work_keys_str_mv | AT wardstephena functionaldomainsofapplicativelanguages |