Interpretation and programming of the reversible functional language RFUN.

Michael Kirkedal Thomsen Holger Bock Axelsen

Published in: IFL (2015)

Keyphrases

functional language
functional programming
programming language
proof planning
object oriented programming
execution model
high level
markov chain
concept formation
object identity
database
data structure
management system
building intelligent