Trusted Source Translation of a Total Function Language.

Guodong Li, Konrad Slind

Browse the full TACAS paper archive.