MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Type Inference with Polymorphic Recursion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Programming Examples Needing Polymorphic Recursion  
  • by Hallett Boston University, J. J. Hallett, A. J. Kfoury — 2004 — In In Proceedings 3rd International Workshop Intersection Types and Related Systems (ITRS 2004
  • … for polymorphic recursion using 8-types has been proved undecidable. This report presents several programming…
  • Add To MetaCart
  • Programming examples needing polymorphic recursion  
  • by J. J. Hallett, A. J. Kfoury — 2004 — In In Proceedings 3rd International Workshop Intersection Types and Related Systems (ITRS 2004
  • … Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a…
  • Cited by 5 (0 self) – Add To MetaCart
  • 'in Abadi. A logic for parametric polymorphism. Applications,  
  • by Tlca' Pages, Pa Gordon Plotkin, In M. Bezem, J. F. Groote, Cc Patrick Cousot, Radhia Cousot Abstract Interpretation, Maria Dezani-ciancaglini, B. Venneri Functional
  • … inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems, 15…
  • Add To MetaCart
  • Principal Typing and Mutual Recursion  
  • by Lucilia Figueiredo, Carlos Camarao, Carlos Camar~ao, Ouro Preto, Ouro Preto, Belo Horizonte — 2001
  • … ). As an example of type inference for polymorphic recursion inside a -abstraction, consider type inference for x…
  • Cited by 2 (2 self) – Add To MetaCart
  • Exception Handlers as Extensible Cases  
  • by Matthias Blume, Umut A. Acar, Wonseok Chae
  • … the problem of type inference in the presence of polymorphic recursion is generally undecidable [12], we chose…
  • Add To MetaCart
  • Type Checking Meta Programs  
  • by Nikolaj Bjørner — 1999 — In Workshop on Logical Frameworks and Meta-Languages
  • …-reducible to type inference for polymorphic recursion [Hen91]. 7 We have extended a naive semi-unification search…
  • Cited by 6 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB