MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Simplifying Subtyping Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Simplifying Subtyping Constraints  
  • by Francois Pottier — 1996 — In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming
  • …Simplifying subtyping constraints Francois Pottier Ecole Normale Sup'erieure -- INRIA Francois…
  • Cited by 65 (1 self) – Add To MetaCart
  • Chapter 13  
  • by Type Inference For, Bruce Mcadam, Andrew Kennedy, Nick Benton — 2001 — In Scottish Functional Programming Workshop
  • … Rewriting Subtyping Constraints to Simplify Subtyping constraints are simplified by rewriting rules…
  • Add To MetaCart
  • Type Inference for MLj  
  • by Bruce Mcadam Andrew, Andrew Kennedy, Nick Benton — 2000
  • … Subtyping Constraints to Simplify Subtyping constraints are simplified by rewriting rules in which each…
  • Add To MetaCart
  • Subtyping Constraints in Quasi-Lattices  
  • by Emmanuel Coquery And, Inria Rocquencourt, Projet Contraintes
  • … describes an algorithm for simplifying subtyping constraint systems in lattices, allowing the computation…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB