From Reversible Programs to Univalent Universes and Back.

Jacques Carette Chao-Hong Chen Vikraman Choudhury Amr Sabry

Published in: CoRR (2017)

Keyphrases

markov chain
cellular automata
automatic programming
real world
artificial intelligence
information systems
decision trees
data sets
databases
learning algorithm
face recognition
data structure
search algorithm
prolog programs
free software