http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM18Yallop 2026-04-05T21:09:14Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M18Yallop&diff=1787&oldid=prev 2018-05-14T16:13:02Z

<p>Created page with &quot;&#039;&#039;&#039;Partially static data as free extension of algebras&#039;&#039;&#039; (joint work with Tamara von Glehn and Ohad Kammar) Partially-static data structures are a well-known technique for i...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;&#039;Partially static data as free extension of algebras&#039;&#039;&#039; (joint work with Tamara von Glehn and Ohad Kammar)<br /> <br /> Partially-static data structures are a well-known technique for improving binding times. However, they are often defined in an ad-hoc manner, without a unifying framework to ensure full use of the equations associated with each operation. We present a foundational view of partially-static data structures as free extensions of algebras for suitable equational theories, i.e. the coproduct of an algebra and a free algebra in the category of algebras and their homomorphisms. By precalculating these free extensions, we construct a high-level library of partially static data representations for common algebraic structures. We demonstrate our library with common use-cases from the literature: string and list manipulation, linear algebra, and numerical simplification.</div>

Eric