Soundly Handling Linearity (blog post + paper)
(blog.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Aug 14:28
comments (0)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Aug 14:28
comments (0)
MegaLibm: A DSL for Implementing Math Functions
(blog.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Jun 2024 03:28
comments (0)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Jun 2024 03:28
comments (0)