& improvements in v0.9 to our program synthesis engine that generates code from graded linear types (which advances on proof search for linear logic) (with @jackohughes_) https://t.co/fFXZ7xeWlL LOPSTR'20 - There is new stuff brewing on this but not q
RT @granulelang: "Resourceful Program Synthesis from Graded Linear Types" (@jackohughes_ and @dorchard) now published (open access) https:/…
RT @granulelang: "Resourceful Program Synthesis from Graded Linear Types" (@jackohughes_ and @dorchard) now published (open access) https:/…
RT @granulelang: "Resourceful Program Synthesis from Graded Linear Types" (@jackohughes_ and @dorchard) now published (open access) https:/…