Duality of Session Types: The Final Cut

April 03, 2020 · Declared Dead · 🏛 PLACES@ETAPS

👻 CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos arXiv ID 2004.01322 Category cs.PL: Programming Languages Citations 27 Venue PLACES@ETAPS Last Checked 1 month ago
Abstract
Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the competing definitions, discuss tradeoffs, and prove some equivalences. Some of the results are mechanized in Agda.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Programming Languages

Died the same way — 👻 Ghosted