Hi Jens:

I enjoyed your presentation yesterday on
http://www.cs.purdue.edu/homes/tzhao/isomorphism/interoperability.htm

I think there is an interesting connection 

1. between matching types
     with the goal of adapting one type to another 
2. writing adaptive behavior so that it works for many types
     and no type adaption is needed.

How can the two areas help each other?

We have types T1 and T2 with behavior B on T2 and adaptive behavior
B' for T1 and T2 such that:

B(t2) = B'(t1) = B'(e(t1)), e(t1) = t2.

Given B' and t1, can we compute e (the transformation from T1 to T2)
automatically (At least for the part of the data that is used by B')?

The adaptive behavior may be written in Java: 
http://www.ccs.neu.edu/research/demeter/biblio/DJ-reflection.html

The above maybe a little premature but it might shed some light
on how to generate code for the transformations.

I am thinking in this direction because I know one researcher
who uses the AP Library 
http://www.ccs.neu.edu/research/demeter/AP-Library/
to generate adapters.

-- Karl