Intensional Equality ;=) for Continuations (1995) [pdf]

cs.princeton.edu

5 pointspron2 comments

This approach clearly influenced certain software in Volkswagon onboard computers, so it is known to work well in practice. :)

the final disclaimer looks like it was written for the case