Toot

Written by yosh on 2025-01-20 at 02:17

Ohh, this looks neat! “Program logics a la Carte” - POPL-accepted paper from Ralf Jung’s group at Eth Zurich

https://plf.inf.ethz.ch/research/popl25-itree-program-logic.html

=> More informations about this toot | View the thread | More toots from yosh@toot.yosh.is

Mentions

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113858280498176279
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 225.195112 milliseconds
Gemini-to-HTML Time: 0.25094 milliseconds

This content has been proxied by September (3851b).