• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Functional programs that explain their work.

Roly PereraUmut A. AcarJames CheneyPaul Blain Levy
Published in: ICFP (2012)
Keyphrases
  • functional programs
  • term rewriting systems
  • logic programs
  • lazy evaluation
  • functional language
  • stochastic grammar
  • databases
  • logic programming