×

Found 17 Documents (Results 1–17)

A logical framework with higher-order rational (circular) terms. (English) Zbl 07770332

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 68-88 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Polarized subtyping. (English) Zbl 1528.68082

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 431-461 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Nested session types. (English) Zbl 1473.68113

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 178-206 (2021).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Session types with arithmetic refinements. (English) Zbl 07559469

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 13, 18 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Domain-aware session types. (English) Zbl 07649947

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 39, 17 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Corecursion and non-divergence in session-typed processes. (English) Zbl 1444.68124

Maffei, Matteo (ed.) et al., Trustworthy global computing. 9th international symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8902, 159-175 (2014).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI

Proof-carrying code in a session-typed process calculus. (English) Zbl 1350.68204

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 21-36 (2011).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic letcc via labelled deduction. (English) Zbl 1347.03061

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 91-111 (2009).
MSC:  03B70 03B20 03B40 03B45 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software