no code implementations • 20 May 2024 • W. Spencer Smith, Ao Dong, Jacques Carette, Michael D. Noseworthy
Generally, MI software is in a healthy state as shown by the following: we observed 88% of the documentation artifacts recommended by research software development guidelines, 100% of MI projects use version control tools, and developers appear to use the common quasi-agile research software development process.
no code implementations • 23 Apr 2019 • Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out.
no code implementations • 8 Nov 2018 • Jacques Carette, Roshan P. James, Amr Sabry
We then consider a structured notion of data based on the Curry-Howard correspondence; here reversible deformations, as a programming language for witnessing type isomorphisms, comes from proof terms for commutative semirings.
Programming Languages Logic in Computer Science Category Theory Quantum Physics 68Q05
4 code implementations • 17 May 2018 • Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt
They are algorithms whose idiomatic expression requires random array variables that are latent or whose likelihood is conjugate.
Programming Languages Probability