11 search results - page 3 / 3 » Parameterized Modules for Classes and Extensible Functions |
AOSD
2007
ACM
13 years 10 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...