Generating reversible circuits from higher-order functional programs.

Benoît Valiron

Published in: CoRR (2016)

Keyphrases

functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
functional language
pairwise
stochastic grammar
markov chain
programming language
rough sets
complex objects