Login / Signup
Implementing functional logic languages using multiple threads and stores.
Andrew P. Tolmach
Sergio Antoy
Marius Nita
Published in:
ICFP (2004)
Keyphrases
</>
case study
language independent
automated reasoning
predicate logic