Soundly Handling Linearity (blog post + paper) (blog.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Aug 2024 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)