Towards a Reversible Functional Language.

Tetsuo Yokoyama Holger Bock Axelsen Robert Glück

Published in: RC (2011)

Keyphrases

functional language
functional programming
programming language
proof planning
markov chain
execution model
object identity
concept formation
machine learning
high level
data structure
query language
theorem proving