1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 1 cited
Information-gain computation
Anthony Di Franco
Despite large incentives, ecorrectness in software remains an elusive goal. Declarative programming techniques, where algorithms are derived from a specification of the desired beh…
cs.AI2015
FIFTH system for general-purpose connectionist computation
Anthony Di Franco
To date, work on formalizing connectionist computation in a way that is at least Turing-complete has focused on recurrent architectures and developed equivalences to Turing machine…