Ancestors

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 | More toots from yosh@toot.yosh.is

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113858280498176279
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
236.382023 milliseconds
Gemini-to-HTML Time
0.284094 milliseconds

This content has been proxied by September (ba2dc).