17 citations · 77 across the 28 of their papers we have counts for
3 papers · 1 filter
GOOL: A Generic Object-Oriented Language (extended version)
Jacques Carette, Brooks MacLachlan, W. Spencer Smith
We present GOOL, a Generic Object-Oriented Language. It demonstrates that a language, with the right abstractions, can capture the essence of object-oriented programs. We show how…
Towards Specifying Symbolic Computation
Jacques Carette, William M. Farmer
Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in comp…
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Jacques Carette, William M. Farmer, Michael Kohlhase +1
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indisp…