Gradually typed symbolic expressions.

David Broman, Jeremy G. Siek

Browse the full PEPM paper archive.