Searching for "Dynamic Typing as Staged Type Inference." – 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.

Dynamic Typing as Staged Type Inference
by Mark Shields, Tim Sheard, Simon Peyton Jones — 1998 — In Symposium on Principles of Programming Languages
…Abstract Mark Shields University of Glasgow mbs@(email omitted); Dynamic Typing as Staged Type…
Cited by 29 (4 self) – Add To MetaCart

Dagstuhl Seminar 99081: Component-Based Programming under Different Paradigms
by P. Wadler, K. Weihe (Organizers) — 1999
… Surveys 30(3), 1998. [2] M. Shields, T. Sheard and S. P. Jones. Dynamic Typing as Stages Type Inference…
Add To MetaCart

Showing 1 through 2.

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