List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fast left Kan extensions using the chase Journal of Automated Reasoning | 2022-12-12 | Paper |
| Fast Left Kan Extensions Using The Chase | 2022-05-04 | Paper |
| Algebraic Model Management: A Survey Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
| Algebraic data integration Journal of Functional Programming | 2018-08-03 | Paper |
| Algebraic databases | 2017-05-10 | Paper |
| Toward a verified relational database management system Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Effective interactive proofs for higher-order imperative programs Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Relational Foundations For Functorial Data Migration | 2012-12-20 | Paper |
| Trace-based verification of imperative programs with I/O Journal of Symbolic Computation | 2011-01-14 | Paper |
| Algebraic Model Management: A Survey | N/A | Paper |
Research outcomes over time
This page was built for person: Ryan Wisnesky
