MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Relaxing the Value Restriction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Relaxing the value restriction  
  • by Jacques Garrigue — 2004 — In International Symposium on Functional and Logic Programming, Nara, LNCS 2998
  • …Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences…
  • Cited by 7 (0 self) – Add To MetaCart
  • Relaxing the Value Restriction  
  • by Jacques Garrigue Research, Jacques Garrigue — 2003 — In International Symposium on Functional and Logic Programming, Nara, LNCS 2998
  • …Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto…
  • Add To MetaCart
  • Contents  
  • by John Billings, Peter Sewell, Mark Shinwell — 2006
  • …: • -allowmynames Allow references to myname fields (not recommended) • -nomlpoly Use relaxed value restriction…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB