Should a Function Continue?
We show that two l-calculus terms can be observationally congruent (i.e., agree in all contexts) but their continuation-passing transforms may not be. We also show that two terms may be congruent in all untyped contexts but fail to be congruent in a language with call/ cc operators, and that two te...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149684 |
| _version_ | 1826204527578054656 |
|---|---|
| author | Riecke, Jon Gary |
| author2 | Meyer, Albert R. |
| author_facet | Meyer, Albert R. Riecke, Jon Gary |
| author_sort | Riecke, Jon Gary |
| collection | MIT |
| description | We show that two l-calculus terms can be observationally congruent (i.e., agree in all contexts) but their continuation-passing transforms may not be. We also show that two terms may be congruent in all untyped contexts but fail to be congruent in a language with call/ cc operators, and that two terms may have the same meaning in a direct semantics but in a continuation semantics. |
| first_indexed | 2024-09-23T12:56:38Z |
| id | mit-1721.1/149684 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:56:38Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1496842023-03-30T03:42:16Z Should a Function Continue? Riecke, Jon Gary Meyer, Albert R. We show that two l-calculus terms can be observationally congruent (i.e., agree in all contexts) but their continuation-passing transforms may not be. We also show that two terms may be congruent in all untyped contexts but fail to be congruent in a language with call/ cc operators, and that two terms may have the same meaning in a direct semantics but in a continuation semantics. 2023-03-29T15:16:32Z 2023-03-29T15:16:32Z 1989-09 https://hdl.handle.net/1721.1/149684 20900188 MIT-LCS-TR-459 application/pdf |
| spellingShingle | Riecke, Jon Gary Should a Function Continue? |
| title | Should a Function Continue? |
| title_full | Should a Function Continue? |
| title_fullStr | Should a Function Continue? |
| title_full_unstemmed | Should a Function Continue? |
| title_short | Should a Function Continue? |
| title_sort | should a function continue |
| url | https://hdl.handle.net/1721.1/149684 |
| work_keys_str_mv | AT rieckejongary shouldafunctioncontinue |