Browsing LCS Technical Reports (1974 - 2003) by Author "Riecke, Jon Gary"

Now showing items 1-1 of 1

    • Should a Function Continue? 

      Riecke, Jon Gary (1989-09)
      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 ...