Login / Signup

From Functional Programs to Interaction Nets via the Rewriting Calculus.

Horatiu CirsteaGermain FaureMaribel FernándezIan MackieFrançois-Régis Sinot
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • stochastic grammar
  • databases
  • logic programs
  • functional language