EFTA01103465Set 9
2013-12-0230p11,241w
Reduct) to handle higher-order functions and local variables,
via using techniques from the functional programming literature such as director strings. This will allow
MOSES to learn more complex programs ... source analogue of Mathematica, enabling symbolic theorem-proving and numerical
mathematics capabilities within a functional programming framework).
2. Extend MOSES's internal program analysis functionality to encompass higher-order functional ... possible to gradually lead the system through learning the programming exercises in a
standard functional programming textbook. Rather than running program-learning experiments, one will be teaching
the system
https://www.justice.gov/epstein/files/DataSet%209/EFTA01103465.pdf
years PADI certified), Motorcycling (recently crossed the Peruvian Andes),
Coral Reef Aquariums, Salsa Dancing, Functional Programming, Thai Boxing, Moral Philosophy
EFTA00610320
https://www.justice.gov/epstein/files/DataSet%209/EFTA00610320.pdf