Generating Reversible Circuits from Higher-Order Functional Programs.

Benoît Valiron

Published in: RC (2016)

Keyphrases

higher order
functional programs
term rewriting systems
lazy evaluation
pairwise
logic programs
functional language
markov chain
stochastic grammar
database
multi agent
management system