Login / Signup

Implementing functional logic languages using multiple threads and stores.

Andrew P. TolmachSergio AntoyMarius Nita
Published in: ICFP (2004)
Keyphrases
  • case study
  • language independent
  • automated reasoning
  • predicate logic