Chen, Zhibo; Pfenning, Frank 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 \textit{Z. Chen} and \textit{F. Pfenning}, Lect. Notes Comput. Sci. 13992, 68--88 (2023; Zbl 07770332) Full Text: DOI arXiv
Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank 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 \textit{Z. Lakhani} et al., Lect. Notes Comput. Sci. 13240, 431--461 (2022; Zbl 1528.68082) Full Text: DOI arXiv
Derakhshan, Farzaneh; Pfenning, Frank Circular proofs as session-typed processes: a local validity condition. (English) Zbl 07566064 Log. Methods Comput. Sci. 18, No. 2, Paper No. 8, 51 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Derakhshan} and \textit{F. Pfenning}, Log. Methods Comput. Sci. 18, No. 2, Paper No. 8, 51 p. (2022; Zbl 07566064) Full Text: arXiv Link
Pruiksma, Klaas; Pfenning, Frank Back to futures. (English) Zbl 07492705 J. Funct. Program. 32, Paper No. e6, 34 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Pruiksma} and \textit{F. Pfenning}, J. Funct. Program. 32, Paper No. e6, 34 p. (2022; Zbl 07492705) Full Text: DOI arXiv
Das, Ankush; Pfenning, Frank Rast: a language for resource-aware session types. (English) Zbl 07471698 Log. Methods Comput. Sci. 18, No. 1, Paper No. 9, 36 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Das} and \textit{F. Pfenning}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 9, 36 p. (2022; Zbl 07471698) Full Text: arXiv Link
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1487.68165 J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 68N18 68Q60 PDFBibTeX XMLCite \textit{H. Gommerstadt} et al., J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022; Zbl 1487.68165) Full Text: DOI
Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank 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 \textit{A. Das} et al., Lect. Notes Comput. Sci. 12648, 178--206 (2021; Zbl 1473.68113) Full Text: DOI arXiv
Pruiksma, Klaas; Pfenning, Frank A message-passing interpretation of adjoint logic. (English) Zbl 1518.68237 J. Log. Algebr. Methods Program. 120, Article ID 100637, 21 p. (2021). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{K. Pruiksma} and \textit{F. Pfenning}, J. Log. Algebr. Methods Program. 120, Article ID 100637, 21 p. (2021; Zbl 1518.68237) Full Text: DOI arXiv
Das, Ankush; Pfenning, Frank 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 \textit{A. Das} and \textit{F. Pfenning}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 13, 18 p. (2020; Zbl 07559469) Full Text: DOI arXiv
Caires, Luís; Pérez, Jorge A.; Pfenning, Frank; Toninho, Bernardo 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 \textit{L. Caires} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 39, 17 p. (2019; Zbl 07649947) Full Text: DOI arXiv
Caires, Luís; Pfenning, Frank; Toninho, Bernardo Linear logic propositions as session types. (English) Zbl 1361.68162 Math. Struct. Comput. Sci. 26, No. 3, 367-423 (2016). MSC: 68Q85 03F52 68N18 PDFBibTeX XMLCite \textit{L. Caires} et al., Math. Struct. Comput. Sci. 26, No. 3, 367--423 (2016; Zbl 1361.68162) Full Text: DOI
Toninho, Bernardo; Caires, Luis; Pfenning, Frank 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 \textit{B. Toninho} et al., Lect. Notes Comput. Sci. 8902, 159--175 (2014; Zbl 1444.68124) Full Text: DOI
Pfenning, Frank; Caires, Luis; Toninho, Bernardo 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 \textit{F. Pfenning} et al., Lect. Notes Comput. Sci. 7086, 21--36 (2011; Zbl 1350.68204) Full Text: DOI
Reed, Jason; Pfenning, Frank 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 \textit{J. Reed} and \textit{F. Pfenning}, Electron. Notes Theor. Comput. Sci. 231, 91--111 (2009; Zbl 1347.03061) Full Text: DOI
Colby, Christopher; Crary, Karl; Harper, Robert; Lee, Peter; Pfenning, Frank Automated techniques for provably safe mobile code. (English) Zbl 1064.68027 Theor. Comput. Sci. 290, No. 2, 1175-1199 (2003). MSC: 68N20 PDFBibTeX XMLCite \textit{C. Colby} et al., Theor. Comput. Sci. 290, No. 2, 1175--1199 (2003; Zbl 1064.68027) Full Text: DOI
Narendran, Paliath; Pfenning, Frank; Statman, Richard On the unification problem for Cartesian closed categories. (English) Zbl 0882.03044 J. Symb. Log. 62, No. 2, 636-647 (1997). MSC: 03D35 18D15 68Q55 68Q25 PDFBibTeX XMLCite \textit{P. Narendran} et al., J. Symb. Log. 62, No. 2, 636--647 (1997; Zbl 0882.03044) Full Text: DOI
Pfenning, Frank The practice of logical frameworks. (English) Zbl 1508.68075 Kirchner, Hélène (ed.), Trees in algebra and programming – CAAP ’96. 21st international colloqium, Linköping, Sweden, April 22–24, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1059, 119-134 (1996). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{F. Pfenning}, Lect. Notes Comput. Sci. 1059, 119--134 (1996; Zbl 1508.68075) Full Text: DOI