Should a Function Continue?
| dc.contributor.advisor | Meyer, Albert R. | en_US |
| dc.contributor.author | Riecke, Jon Gary | en_US |
| dc.date.accessioned | 2023-03-29T15:16:32Z | |
| dc.date.available | 2023-03-29T15:16:32Z | |
| dc.date.issued | 1989-09 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149684 | |
| dc.description.abstract | 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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-459 | |
| dc.title | Should a Function Continue? | en_US |
| dc.identifier.oclc | 20900188 |
