MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Normalisation by Evaluation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 24 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The simple type theory of normalisation by evaluation  
  • by René Vestergaard — 2001 — Proceedings of the First International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), number 57 in Electronic Notes in Theoretical Computer Science
  • …://www.elsevier.nl/locate/entcs/volume57.html 21 pages Abstract The Simple Type Theory of Normalisation by Evaluation René Vestergaard 1…
  • Cited by 1 (0 self) – Add To MetaCart
  • Tait in one big step  
  • by Thorsten Altenkirch, James Chapman — 2006 — In MSFP 2006
  • …-step operational semantics on the one side and normalisation by evaluation on the other. Our work is motivated…
  • Cited by 4 (1 self) – Add To MetaCart
  • Keeping sums under control  
  • by Vincent Balat, Inria Università Di Genova — 2004
  • … normalisation tool for the λ-calculus with sum types, based on the technique of normalisation by evaluation…
  • Add To MetaCart
  • Keeping sums under control  
  • by unknown authors — 2004
  • …, Normalisation, Type-DirectedPartial Evaluation, Objective Caml. 1 Introduction Partial evaluation is a…
  • Add To MetaCart
  • General Terms Theory, Languages  
  • by Marcelo Fiore
  • … normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part…
  • Add To MetaCart
  • RULES EVALUATION OF A KNOWLEDGE BASE  
  • by Sebastián García Galán, Juan Ramón, Velasco Pérez
  • …) is not normalised in the interval [0,1] To obtain this normalisation, the evaluations are cut off to higher…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB