We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Should a Function Continue?

Thumbnail Image
Download
Name

MIT-LCS-TR-459.pdf

Size

1.32 MB

Format

Adobe PDF

Checksum (MD5)

55fc217ee866bdbc2eb30a91c855d45c

Author(s)
Riecke, Jon Gary
Advisor(s)
Meyer, Albert R.
Date Issued
September 1989
Series/Report no.
MIT-LCS-TR-459
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.