MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Local type inference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 37 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Colored Local Type Inference  
  • by Martin Odersky, Matthias Zenger, Matthias Zenger — 2001
  • …Abstract Colored Local Type Inference Martin Odersky Christoph Zenger Matthias Zenger We present a…
  • Cited by 35 (5 self) – Add To MetaCart
  • Colored Local Type Inference  
  • by Martin Odersky Christoph, Christoph Zenger, Matthias Zenger — 2001
  • …Abstract Colored Local Type Inference Martin Odersky Christoph Zenger Matthias Zenger We present a…
  • Add To MetaCart
  • Region-Based Memory Management in Cyclone  
  • by Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney — 2002 — IN PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI'02)
  • … programmers to write some explicit region annotations, but a combination of default annotations, local type…
  • Cited by 140 (12 self) – Add To MetaCart
  • Type Theory  
  • by Benjamin C. Pierce, David N. Turner — 1994 — In Handbook of Logic and Language. North
  • …Local Type Inference BENJAMIN C. PIERCE University of Pennsylvania and DAVID N. TURNER An Teallach…
  • Cited by 6 (0 self) – Add To MetaCart
  • unknown title  
  • by Mlfraising Ml, Power System, F Didier, Le Botlan, Le Chesnay Cedex, Didier. Remy}@inria. Fr
  • …--would not need any type an-notation at all. This lead to local type inference [24], recently improved to colored…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB