Searching for "Optimal Type Lifting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Optimal Type Lifting
by Bratin Saha, Zhong Shao — 1998 — In Second Workshop on Types in Compilation
…Optimal Type Lifting ? Bratin Saha and Zhong Shao Dept. of Computer Science Yale University New…
Cited by 12 (2 self) – Add To MetaCart

Implementing Typed Intermediate Languages
by Zhong Shao, Christopher League, Stefan Monnier — 1998
… of the dag representations. In a companion paper [33], we have presented a new optimal type-lifting algorithm…
Cited by 56 (15 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB