lobsters__types_1a87@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 11 days ago[pdf, plt] Bidirectional Type Slicinglockarxiv.orgexternal-linkmessage-square1linkfedilinkarrow-up11file-text
arrow-up11external-link[pdf, plt] Bidirectional Type Slicinglockarxiv.orglobsters__types_1a87@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 11 days agomessage-square1linkfedilinkfile-text
minus-squarelobsters__cpurdy@crustaceanson.theshelf.topMlinkfedilinkarrow-up1·11 days agoLink: https://arxiv.org/abs/2607.12197 This is impressive work. I’m not sure how useful the current incarnation is as a “tool”, but the thinking behind it could be extremely useful for those working on bidi type systems. score 1 · canonical
Link: https://arxiv.org/abs/2607.12197
This is impressive work. I’m not sure how useful the current incarnation is as a “tool”, but the thinking behind it could be extremely useful for those working on bidi type systems.
score 1 · canonical