Login / Signup
An analytical inductive functional programming system that avoids unintended programs.
Susumu Katayama
Published in:
PEPM (2012)
Keyphrases
</>
functional programming
functional language
functional programs
programming language
execution model
quantifier elimination
object oriented programming
databases
machine learning
multi dimensional
logic programs
distributed environment
proof planning
recursive programs