Computing with Recursive Types (Extended Abstract)

Stavros S. Cosmadakis Computing with Recursive Types (Extended Abstract) conf/lics/LICS4 1989 LICS 24-38 db/conf/lics/lics89.html#Cosmadakis89