Welcome to Daniel Harvey, who has joined the MLton list. Daniel is working with Ben Chambers (already on the list) under Matt Might and Olin Shivers at the Georgia Institute of Technology. They are implementing an SXML->CPS translation with the intent to use gamma-CFA to improve defunctionalization. Welcome!