Dal Lago, Ugo; Gavazzo, Francesco Differential logical relations. II: Increments and derivatives. (English) Zbl 1514.68032 Theor. Comput. Sci. 895, 34-47 (2021). MSC: 68N30 03B40 03B70 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{F. Gavazzo}, Theor. Comput. Sci. 895, 34--47 (2021; Zbl 1514.68032) Full Text: DOI
You, Shu-Hung; Findler, Robert Bruce; Dimoulas, Christos Sound and complete concolic testing for higher-order functions. (English) Zbl 1473.68040 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, 635-663 (2021). MSC: 68N18 PDFBibTeX XMLCite \textit{S.-H. You} et al., Lect. Notes Comput. Sci. 12648, 635--663 (2021; Zbl 1473.68040) Full Text: DOI
Vákár, Matthijs Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058 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, 607-634 (2021). MSC: 68N30 65D25 68N18 68Q65 PDFBibTeX XMLCite \textit{M. Vákár}, Lect. Notes Comput. Sci. 12648, 607--634 (2021; Zbl 1473.68058) Full Text: DOI arXiv
Lundén, Daniel; Borgström, Johannes; Broman, David Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038 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, 404-431 (2021). MSC: 68N15 68N18 68N19 68Q55 68Q87 68T37 PDFBibTeX XMLCite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv
Goldstein, Harrison; Hughes, John; Lampropoulos, Leonidas; Pierce, Benjamin C. Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044 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, 264-291 (2021). MSC: 68N30 68N18 68N20 68Q65 68W20 PDFBibTeX XMLCite \textit{H. Goldstein} et al., Lect. Notes Comput. Sci. 12648, 264--291 (2021; Zbl 1473.68044) Full Text: DOI
Zoethout, Jetze On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes. (English) Zbl 1478.18004 Math. Struct. Comput. Sci. 31, No. 2, 214-233 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03B40 PDFBibTeX XMLCite \textit{J. Zoethout}, Math. Struct. Comput. Sci. 31, No. 2, 214--233 (2021; Zbl 1478.18004) Full Text: DOI
Espírito Santo, José; Matthes, Ralph; Pinto, Luís A coinductive approach to proof search through typed lambda-calculi. (English) Zbl 07404818 Ann. Pure Appl. Logic 172, No. 10, Article ID 103026, 44 p. (2021). MSC: 03F07 03B40 03B15 68N18 PDFBibTeX XMLCite \textit{J. Espírito Santo} et al., Ann. Pure Appl. Logic 172, No. 10, Article ID 103026, 44 p. (2021; Zbl 07404818) Full Text: DOI arXiv
Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 1493.03004 J. Funct. Program. 31, Paper No. e17, 38 p. (2021). Reviewer: Alexandre Goy (Lyon) MSC: 03B70 03B35 68N18 68V15 PDFBibTeX XMLCite \textit{R. Affeldt} et al., J. Funct. Program. 31, Paper No. e17, 38 p. (2021; Zbl 1493.03004) Full Text: DOI arXiv
Zsók, Viktória (ed.); Hughes, John (ed.) Trends in functional programming. 22nd international symposium, TFP 2021, virtual event, February 17–19, 2021. Revised selected papers. (English) Zbl 1482.68043 Lecture Notes in Computer Science 12834. Cham: Springer (ISBN 978-3-030-83977-2/pbk; 978-3-030-83978-9/ebook). vii, 137 p. (2021). MSC: 68-06 68N18 00B25 PDFBibTeX XMLCite \textit{V. Zsók} (ed.) and \textit{J. Hughes} (ed.), Trends in functional programming. 22nd international symposium, TFP 2021, virtual event, February 17--19, 2021. Revised selected papers. Cham: Springer (2021; Zbl 1482.68043) Full Text: DOI
Loreti, Michele Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (English) Zbl 1510.00005 Formal Asp. Comput. 33, No. 3, 457-458 (2021). MSC: 00A17 03-02 68-02 03B40 68N18 03B70 PDFBibTeX XMLCite \textit{M. Loreti}, Formal Asp. Comput. 33, No. 3, 457--458 (2021; Zbl 1510.00005) Full Text: DOI
de Vries, Fer-Jan Encoding many-valued logic in \(\lambda\)-calculus. (English) Zbl 07379296 Log. Methods Comput. Sci. 17, No. 2, Paper No. 25, 16 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F.-J. de Vries}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 25, 16 p. (2021; Zbl 07379296) Full Text: DOI arXiv
Soleymanpour, Ghorban; Janfada, Ali S. Some algebras in terms of differential operators. (English) Zbl 1467.13038 Int. Electron. J. Algebra 29, 120-133 (2021). MSC: 13N10 55S10 05A40 16T05 55N22 PDFBibTeX XMLCite \textit{G. Soleymanpour} and \textit{A. S. Janfada}, Int. Electron. J. Algebra 29, 120--133 (2021; Zbl 1467.13038) Full Text: Link
Chen, Xiaojing; Chu, Wenchang Full \(q\)-analogue for an identity of \(\lambda\)-extended Catalan numbers. (English) Zbl 1469.05014 Bull. Braz. Math. Soc. (N.S.) 52, No. 3, 461-465 (2021). MSC: 05A19 05A30 PDFBibTeX XMLCite \textit{X. Chen} and \textit{W. Chu}, Bull. Braz. Math. Soc. (N.S.) 52, No. 3, 461--465 (2021; Zbl 1469.05014) Full Text: DOI
Sannella, Donald; Fourman, Michael; Peng, Haoran; Wadler, Philip Introduction to computation. Haskell, logic and automata. (English) Zbl 1497.68005 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 03-01 03B70 68N15 68N18 68Q45 PDFBibTeX XMLCite \textit{D. Sannella} et al., Introduction to computation. Haskell, logic and automata. Cham: Springer (2021; Zbl 1497.68005) Full Text: DOI
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz A metalanguage for guarded iteration. (English) Zbl 1517.68077 Theor. Comput. Sci. 880, 111-137 (2021). MSC: 68N30 18C50 18M05 68N18 68Q55 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Theor. Comput. Sci. 880, 111--137 (2021; Zbl 1517.68077) Full Text: DOI arXiv
Bernardy, Jean-Philippe; Chatzikyriakidis, Stergios; Maskharashvili, Aleksandre A computational treatment of anaphora and its algorithmic implementation. (English) Zbl 1496.03057 J. Logic Lang. Inf. 30, No. 1, 1-29 (2021). MSC: 03B40 03B65 68N18 PDFBibTeX XMLCite \textit{J.-P. Bernardy} et al., J. Logic Lang. Inf. 30, No. 1, 1--29 (2021; Zbl 1496.03057) Full Text: DOI
Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe Superposition for lambda-free higher-order logic. (English) Zbl 07350767 Log. Methods Comput. Sci. 17, No. 2, Paper No. 1, 38 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Bentkamp} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 1, 38 p. (2021; Zbl 07350767) Full Text: arXiv Link
Zhang, Wenbo; Xu, Xian; Yin, Qiang; Long, Huan On the interactive power of higher-order processes extended with parameterization. (English) Zbl 1511.68190 Formal Asp. Comput. 33, No. 2, 151-183 (2021). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{W. Zhang} et al., Formal Asp. Comput. 33, No. 2, 151--183 (2021; Zbl 1511.68190) Full Text: DOI
Maršík, Jirka; Amblard, Maxime; de Groote, Philippe Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation. (English) Zbl 1497.68095 Theor. Comput. Sci. 869, 108-155 (2021). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{J. Maršík} et al., Theor. Comput. Sci. 869, 108--155 (2021; Zbl 1497.68095) Full Text: DOI
Protin, M. Clarence Type inhabitation of atomic polymorphism is undecidable. (English) Zbl 07332112 J. Log. Comput. 31, No. 2, 416-425 (2021). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{M. C. Protin}, J. Log. Comput. 31, No. 2, 416--425 (2021; Zbl 07332112) Full Text: DOI
Hasegawa, Ryu Complete call-by-value calculi of control operators. II: Strong termination. (English) Zbl 1509.03058 Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Hasegawa}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021; Zbl 1509.03058) Full Text: arXiv Link
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona Solvability = typability + inhabitation. (English) Zbl 1509.03056 Log. Methods Comput. Sci. 17, No. 1, Paper No. 7, 27 p. (2021). MSC: 03B40 PDFBibTeX XMLCite \textit{A. Bucciarelli} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 7, 27 p. (2021; Zbl 1509.03056) Full Text: arXiv Link
Christensen, Michael; McMahan, Joseph; Nichols, Lawton; Roesch, Jared; Sherwood, Timothy; Hardekopf, Ben Safe functional systems through integrity types and verified assembly. (English) Zbl 1477.68030 Theor. Comput. Sci. 851, 39-61 (2021). MSC: 68M07 68N18 68Q60 PDFBibTeX XMLCite \textit{M. Christensen} et al., Theor. Comput. Sci. 851, 39--61 (2021; Zbl 1477.68030) Full Text: DOI
Berger, Ulrich; Tsuiki, Hideki Intuitionistic fixed point logic. (English) Zbl 1498.03065 Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021). MSC: 03B70 03B20 03B40 03D70 03D78 03F60 06B35 PDFBibTeX XMLCite \textit{U. Berger} and \textit{H. Tsuiki}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021; Zbl 1498.03065) Full Text: DOI arXiv
Kim, Dae San; Kim, Taekyun Degenerate Sheffer sequences and \(\lambda \)-Sheffer sequences. (English) Zbl 1471.11110 J. Math. Anal. Appl. 493, No. 1, Article ID 124521, 21 p. (2021). MSC: 11B83 05A40 PDFBibTeX XMLCite \textit{D. S. Kim} and \textit{T. Kim}, J. Math. Anal. Appl. 493, No. 1, Article ID 124521, 21 p. (2021; Zbl 1471.11110) Full Text: DOI
Bodini, Olivier; Singh, Alexandros; Zeilberger, Noam Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms. arXiv:2106.08291 Preprint, arXiv:2106.08291 [math.CO] (2021). MSC: 05A16 05A19 03B40 05C30 BibTeX Cite \textit{O. Bodini} et al., ``Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms'', Preprint, arXiv:2106.08291 [math.CO] (2021) Full Text: arXiv OA License
Miquey, Étienne Revisiting the duality of computation: an algebraic analysis of classical realizability models. (English) Zbl 07650843 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 30, 18 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{É. Miquey}, LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 30, 18 p. (2020; Zbl 07650843) Full Text: DOI arXiv
Kesner, Delia; Bonelli, Eduardo; Viso, Andrés Strong bisimulation for control operators (invited talk). (English) Zbl 07650817 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 4, 23 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{D. Kesner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 4, 23 p. (2020; Zbl 07650817) Full Text: DOI arXiv
Okada, Mitsuhiro; Takahashi, Yuta A simplified application of Howard’s vector notation system to termination proofs for typed lambda-calculus systems. (English) Zbl 1517.68168 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 136-155 (2020). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{M. Okada} and \textit{Y. Takahashi}, Lect. Notes Comput. Sci. 12328, 136--155 (2020; Zbl 1517.68168) Full Text: DOI
Toman, John; Siqi, Ren; Suenaga, Kohei; Igarashi, Atsushi; Kobayashi, Naoki ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 684-714 (2020). MSC: 68N30 68N18 68Q60 PDFBibTeX XMLCite \textit{J. Toman} et al., Lect. Notes Comput. Sci. 12075, 684--714 (2020; Zbl 1508.68079) Full Text: DOI arXiv
Thorand, Fabian; Hage, Jurriaan Higher-ranked annotation polymorphic dependency analysis. (English) Zbl 1508.68042 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 656-683 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{F. Thorand} and \textit{J. Hage}, Lect. Notes Comput. Sci. 12075, 656--683 (2020; Zbl 1508.68042) Full Text: DOI
Matsuda, Kazutaka Modular inference of linear types for multiplicity-annotated arrows. (English) Zbl 1522.68125 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 456-483 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Matsuda}, Lect. Notes Comput. Sci. 12075, 456--483 (2020; Zbl 1522.68125) Full Text: DOI arXiv
Barthe, Gilles; Crubillé, Raphaëlle; Dal Lago, Ugo; Gavazzo, Francesco On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem. (English) Zbl 1508.68055 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 56-83 (2020). MSC: 68N30 03B40 03B70 68N18 PDFBibTeX XMLCite \textit{G. Barthe} et al., Lect. Notes Comput. Sci. 12075, 56--83 (2020; Zbl 1508.68055) Full Text: DOI arXiv
Ahman, Danel; Bauer, Andrej Runners in action. (English) Zbl 1508.68050 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 29-55 (2020). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{D. Ahman} and \textit{A. Bauer}, Lect. Notes Comput. Sci. 12075, 29--55 (2020; Zbl 1508.68050) Full Text: DOI arXiv
Pshenitsyn, Tikhon Hypergraph basic categorial grammars. (English) Zbl 1502.68158 Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 146-162 (2020). MSC: 68Q42 03B40 03B65 PDFBibTeX XMLCite \textit{T. Pshenitsyn}, Lect. Notes Comput. Sci. 12150, 146--162 (2020; Zbl 1502.68158) Full Text: DOI
Eremondi, Joseph Set constraints, pattern match analysis, and SMT. (English) Zbl 1503.68044 Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 121-141 (2020). MSC: 68N30 03B70 68N18 68R07 PDFBibTeX XMLCite \textit{J. Eremondi}, Lect. Notes Comput. Sci. 12053, 121--141 (2020; Zbl 1503.68044) Full Text: DOI arXiv
Ângelo, Pedro; Florido, Mário Type inference for rank 2 gradual intersection types. (English) Zbl 1503.68035 Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 84-120 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Ângelo} and \textit{M. Florido}, Lect. Notes Comput. Sci. 12053, 84--120 (2020; Zbl 1503.68035) Full Text: DOI
Ishio, Chiaki; Asai, Kenichi Verifying selective CPS transformation for shift and reset. (English) Zbl 1503.68037 Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 38-57 (2020). MSC: 68N18 68V20 PDFBibTeX XMLCite \textit{C. Ishio} and \textit{K. Asai}, Lect. Notes Comput. Sci. 12053, 38--57 (2020; Zbl 1503.68037) Full Text: DOI
Marmaduke, Andrew; Jenkins, Christopher; Stump, Aaron Quotients by idempotent functions in Cedille. (English) Zbl 1503.68038 Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 1-20 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Marmaduke} et al., Lect. Notes Comput. Sci. 12053, 1--20 (2020; Zbl 1503.68038) Full Text: DOI
Kirkeby, Maja Hanne; Glück, Robert Semi-inversion of conditional constructor term rewriting systems. (English) Zbl 1502.68152 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 243-259 (2020). MSC: 68Q42 68N17 68N18 PDFBibTeX XMLCite \textit{M. H. Kirkeby} and \textit{R. Glück}, Lect. Notes Comput. Sci. 12042, 243--259 (2020; Zbl 1502.68152) Full Text: DOI
Gallot, Paul D.; Lemay, Aurélien; Salvati, Sylvain Linear high-order deterministic tree transducers with regular look-ahead. (English) Zbl 07559409 Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 38, 13 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. D. Gallot} et al., LIPIcs -- Leibniz Int. Proc. Inform. 170, Article 38, 13 p. (2020; Zbl 07559409) Full Text: DOI
Battyányi, Péter; Nour, Karim Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. (English) Zbl 1484.03021 AIMS Math. 5, No. 4, 3702-3713 (2020). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, AIMS Math. 5, No. 4, 3702--3713 (2020; Zbl 1484.03021) Full Text: DOI
Trindade, André; Mota, João; Ravara, António Typestates to automata and back: a tool. (English) Zbl 1477.68073 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020). MSC: 68N18 68-04 68N19 68Q45 PDFBibTeX XMLCite \textit{A. Trindade} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25--42 (2020; Zbl 1477.68073) Full Text: arXiv Link
Savanović, Zorica; Galletta, Letterio; Vieira, Hugo Torres A type language for message passing component-based systems. (English) Zbl 1477.68183 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 3-24 (2020). MSC: 68Q85 68N18 PDFBibTeX XMLCite \textit{Z. Savanović} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 3--24 (2020; Zbl 1477.68183) Full Text: arXiv Link
Jenkins, Christopher; Stump, Aaron; Diehl, Larry Efficient lambda encodings for Mendler-style coinductive types in Cedille. (English) Zbl 1511.68054 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72-97 (2020). MSC: 68N18 03B40 68V20 PDFBibTeX XMLCite \textit{C. Jenkins} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72--97 (2020; Zbl 1511.68054) Full Text: arXiv Link
Šinkarovs, Artjoms Multi-dimensional arrays with levels. (English) Zbl 1511.68057 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 57-71 (2020). MSC: 68N18 68P05 PDFBibTeX XMLCite \textit{A. Šinkarovs}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 57--71 (2020; Zbl 1511.68057) Full Text: arXiv Link
Baanen, Anne; Swierstra, Wouter Combining predicate transformer semantics for effects: a case study in parsing regular languages. (English) Zbl 1511.68050 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39-56 (2020). MSC: 68N18 68Q42 68Q55 PDFBibTeX XMLCite \textit{A. Baanen} and \textit{W. Swierstra}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39--56 (2020; Zbl 1511.68050) Full Text: arXiv Link
Orchard, Dominic; Wadler, Philip; Eades, Harley III Unifying graded and parameterised monads. (English) Zbl 1511.68056 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 18-38 (2020). MSC: 68N18 18C15 68N30 PDFBibTeX XMLCite \textit{D. Orchard} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 18--38 (2020; Zbl 1511.68056) Full Text: arXiv Link
Voorneveld, Niels From equations to distinctions: two interpretations of effectful computations. (English) Zbl 1511.68058 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 1-17 (2020). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{N. Voorneveld}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 1--17 (2020; Zbl 1511.68058) Full Text: arXiv Link
Szokoli, Mátyás; Kiss, Attila Enhanced type inference for binding-time analysis. (English) Zbl 1508.68041 Acta Univ. Sapientiae, Inform. 12, No. 2, 232-250 (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{M. Szokoli} and \textit{A. Kiss}, Acta Univ. Sapientiae, Inform. 12, No. 2, 232--250 (2020; Zbl 1508.68041) Full Text: DOI
Dundua, Besik; Rukhaia, Mikheil; Tibua, Lali Star types: a type system for pattern calculus. (English) Zbl 1476.68053 Appl. Math. Inform. Mech. 25, No. 2, 137-146 (2020). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{B. Dundua} et al., Appl. Math. Inform. Mech. 25, No. 2, 137--146 (2020; Zbl 1476.68053) Full Text: Link
Abzianidze, Lasha Solving textual entailment with the theorem prover for natural language. (English) Zbl 1476.68297 Appl. Math. Inform. Mech. 25, No. 2, 114-136 (2020). MSC: 68V15 03B65 68T50 PDFBibTeX XMLCite \textit{L. Abzianidze}, Appl. Math. Inform. Mech. 25, No. 2, 114--136 (2020; Zbl 1476.68297) Full Text: Link
Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao Term-space semantics of typed lambda calculus. (English) Zbl 1486.03032 Notre Dame J. Formal Logic 61, No. 4, 591-600 (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Kashima} et al., Notre Dame J. Formal Logic 61, No. 4, 591--600 (2020; Zbl 1486.03032) Full Text: DOI
Grust, Torsten Book review of: R. Bird and J. Gibbons, Algorithm design with Haskell. (English) Zbl 1484.00026 J. Funct. Program. 30, Paper No. e29, 3 p. (2020). MSC: 00A17 68-01 68N18 68W01 PDFBibTeX XMLCite \textit{T. Grust}, J. Funct. Program. 30, Paper No. e29, 3 p. (2020; Zbl 1484.00026) Full Text: DOI
Böhm, Ariela; Böhm, Michele; Böhm, Emanuele; Dezani-Ciancaglini, Mariangiola; Manfredini, Francesca; Böhm, Nora Perugia Corrado Böhm. The \(\lambda\)-adventure. (English) Zbl 1505.03002 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 399-414 (2020). MSC: 03-03 01A70 03B40 PDFBibTeX XMLCite \textit{A. Böhm} et al., Landsc. Log. 1, 399--414 (2020; Zbl 1505.03002)
Bowman, William J. (ed.); Garcia, Ronald (ed.) Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. (English) Zbl 1493.68007 Lecture Notes in Computer Science 12053. Cham: Springer (ISBN 978-3-030-47146-0/pbk; 978-3-030-47147-7/ebook). vii, 143 p. (2020). MSC: 68-06 68N18 00B25 PDFBibTeX XMLCite \textit{W. J. Bowman} (ed.) and \textit{R. Garcia} (ed.), Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12--14, 2019. Revised selected papers. Cham: Springer (2020; Zbl 1493.68007) Full Text: DOI
Biernacka, Małgorzata; Biernacki, Dariusz; Charatonik, Witold; Drab, Tomasz An abstract machine for strong call by value. (English) Zbl 1476.68047 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 147-166 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Biernacka} et al., Lect. Notes Comput. Sci. 12470, 147--166 (2020; Zbl 1476.68047) Full Text: DOI arXiv
Mackay, Julian; Potanin, Alex; Aldrich, Jonathan; Groves, Lindsay Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020). MSC: 68N15 68N18 68N19 PDFBibTeX XMLCite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI
Katsura, Hiroyuki; Iwayama, Naoki; Kobayashi, Naoki; Tsukada, Takeshi A new refinement type system for automated \(\nu\text{HFL}_\mathbb{Z}\) validity checking. (English) Zbl 1476.68149 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 86-104 (2020). MSC: 68Q60 03B70 68N18 PDFBibTeX XMLCite \textit{H. Katsura} et al., Lect. Notes Comput. Sci. 12470, 86--104 (2020; Zbl 1476.68149) Full Text: DOI
Ceresa, Martín; Gorostiaga, Felipe; Sánchez, César Declarative stream runtime verification (hLola). (English) Zbl 1476.68145 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 25-43 (2020). MSC: 68Q60 68N18 PDFBibTeX XMLCite \textit{M. Ceresa} et al., Lect. Notes Comput. Sci. 12470, 25--43 (2020; Zbl 1476.68145) Full Text: DOI arXiv
Barenbaum, Pablo; Lochbaum, Federico; Milicich, Mariana Semantics of a relational \(\lambda\)-calculus. (English) Zbl 07369992 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 242-261 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Barenbaum} et al., Lect. Notes Comput. Sci. 12545, 242--261 (2020; Zbl 07369992) Full Text: DOI arXiv
Fortz, Sophie; Mesnard, Fred; Payet, Etienne; Perrouin, Gilles; Vanhoof, Wim; Vidal, Germán An SMT-based concolic testing tool for logic programs. (English) Zbl 07368093 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 215-219 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S. Fortz} et al., Lect. Notes Comput. Sci. 12073, 215--219 (2020; Zbl 07368093) Full Text: DOI arXiv
Mourad, Benjamin; Cimini, Matteo System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 198--214 (2020; Zbl 07368092) Full Text: DOI
Westphal, Oliver; Voigtländer, Janis Implementing, and keeping in check, a DSL used in E-learning. (English) Zbl 07368091 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 179-197 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{O. Westphal} and \textit{J. Voigtländer}, Lect. Notes Comput. Sci. 12073, 179--197 (2020; Zbl 07368091) Full Text: DOI
Tsushima, Kanae; Trong, Bach Nguyen; Glück, Robert; Hu, Zhenjiang An efficient composition of bidirectional programs by memoization and lazy update. (English) Zbl 07368090 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 159-178 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{K. Tsushima} et al., Lect. Notes Comput. Sci. 12073, 159--178 (2020; Zbl 07368090) Full Text: DOI
Okura, Rui; Kameyama, Yukiyoshi Language-integrated query with nested data structures and grouping. (English) Zbl 07368089 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 139-158 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{R. Okura} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12073, 139--158 (2020; Zbl 07368089) Full Text: DOI
Mu, Shin-Cheng; Chiang, Tsung-Ju Declarative pearl: deriving monadic quicksort. (English) Zbl 07368088 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 124-138 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S.-C. Mu} and \textit{T.-J. Chiang}, Lect. Notes Comput. Sci. 12073, 124--138 (2020; Zbl 07368088) Full Text: DOI arXiv
Cimini, Matteo On the effectiveness of higher-order logic programming in language-oriented programming. (English) Zbl 07368087 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 106-123 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 106--123 (2020; Zbl 07368087) Full Text: DOI
Saotome, Kenji; Nakazawa, Koji; Kimura, Daisuke Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps. (English) Zbl 07368086 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 88-105 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{K. Saotome} et al., Lect. Notes Comput. Sci. 12073, 88--105 (2020; Zbl 07368086) Full Text: DOI
Kiselyov, Oleg; Imai, Keigo Session types without sophistry. System description. (English) Zbl 07368085 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 66-87 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{O. Kiselyov} and \textit{K. Imai}, Lect. Notes Comput. Sci. 12073, 66--87 (2020; Zbl 07368085) Full Text: DOI
Hainry, Emmanuel; Mazza, Damiano; Péchoux, Romain Polynomial time over the reals with parsimony. (English) Zbl 07368084 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 50-65 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{E. Hainry} et al., Lect. Notes Comput. Sci. 12073, 50--65 (2020; Zbl 07368084) Full Text: DOI HAL
Accattoli, Beniamino; Díaz-Caro, Alejandro Functional pearl: the distributive \(\lambda\)-calculus. (English) Zbl 07368083 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 33-49 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{B. Accattoli} and \textit{A. Díaz-Caro}, Lect. Notes Comput. Sci. 12073, 33--49 (2020; Zbl 07368083) Full Text: DOI arXiv
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés The bang calculus revisited. (English) Zbl 07368082 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 13-32 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{A. Bucciarelli} et al., Lect. Notes Comput. Sci. 12073, 13--32 (2020; Zbl 07368082) Full Text: DOI arXiv
Hamana, Makoto Theory and practice of second-order rewriting: foundation, evolution, and SOL. (English) Zbl 07368081 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 3-9 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Hamana}, Lect. Notes Comput. Sci. 12073, 3--9 (2020; Zbl 07368081) Full Text: DOI
Seynaeve, Willem; Pauwels, Koen; Schrijvers, Tom State will do. (English) Zbl 1475.68070 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 204-225 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{W. Seynaeve} et al., Lect. Notes Comput. Sci. 12222, 204--225 (2020; Zbl 1475.68070) Full Text: DOI
Janin, David An equational modeling of asynchronous concurrent programming. (English) Zbl 1475.68062 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 180-203 (2020). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{D. Janin}, Lect. Notes Comput. Sci. 12222, 180--203 (2020; Zbl 1475.68062) Full Text: DOI HAL
Kawahara, Satoru; Kameyama, Yukiyoshi One-shot algebraic effects as coroutines. (English) Zbl 1475.68063 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 159-179 (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{S. Kawahara} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12222, 159--179 (2020; Zbl 1475.68063) Full Text: DOI
Bereczky, Péter; Horpácsi, Dániel; Thompson, Simon A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020). MSC: 68N18 68N15 68Q55 68V20 PDFBibTeX XMLCite \textit{P. Bereczky} et al., Lect. Notes Comput. Sci. 12222, 139--158 (2020; Zbl 1475.68059) Full Text: DOI arXiv Link
Peña, Ricardo; Sánchez-Hernández, Jaime White-box path generation in recursive programs. (English) Zbl 1475.68068 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 121-135 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Peña} and \textit{J. Sánchez-Hernández}, Lect. Notes Comput. Sci. 12222, 121--135 (2020; Zbl 1475.68068) Full Text: DOI
New, Max S. (ed.); Lindley, Sam (ed.) Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. (English) Zbl 1466.68025 Electronic Proceedings in Theoretical Computer Science (EPTCS) 317. Waterloo: Open Publishing Association (OPA). 97 p., electronic only, open access (2020). MSC: 68-06 68N18 00B25 PDFBibTeX XMLCite \textit{M. S. New} (ed.) and \textit{S. Lindley} (ed.), Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA) (2020; Zbl 1466.68025) Full Text: DOI arXiv Link
Tarau, Paul Deriving efficient sequential and parallel generators for closed simply-typed lambda terms and normal forms. (English) Zbl 1497.68088 Fundam. Inform. 177, No. 3-4, 385-415 (2020). MSC: 68N17 03B40 PDFBibTeX XMLCite \textit{P. Tarau}, Fundam. Inform. 177, No. 3--4, 385--415 (2020; Zbl 1497.68088) Full Text: DOI
Albert, Elvira; Bezirgiannis, Nikolaos; De Boer, Frank; Martin-Martin, Enrique A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell. (English) Zbl 1497.68090 Fundam. Inform. 177, No. 3-4, 203-234 (2020). MSC: 68N18 68N15 68Q55 PDFBibTeX XMLCite \textit{E. Albert} et al., Fundam. Inform. 177, No. 3--4, 203--234 (2020; Zbl 1497.68090) Full Text: DOI
Caie, Michael Bunder’s paradox. (English) Zbl 1486.03030 Rev. Symb. Log. 13, No. 4, 829-844 (2020). MSC: 03B40 03A05 PDFBibTeX XMLCite \textit{M. Caie}, Rev. Symb. Log. 13, No. 4, 829--844 (2020; Zbl 1486.03030) Full Text: DOI
Díaz-Caro, Alejandro; Malherbe, Octavio A categorical construction for the computational definition of vector spaces. (English) Zbl 1461.03016 Appl. Categ. Struct. 28, No. 5, 807-844 (2020). MSC: 03B40 18C50 18D15 18M05 68Q42 81P68 PDFBibTeX XMLCite \textit{A. Díaz-Caro} and \textit{O. Malherbe}, Appl. Categ. Struct. 28, No. 5, 807--844 (2020; Zbl 1461.03016) Full Text: DOI arXiv Link
Terwijn, Sebastiaan A. Computability in partial combinatory algebras. (English) Zbl 1465.03078 Bull. Symb. Log. 26, No. 3-4, 224-240 (2020). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D25 03B40 03D45 03D75 03D80 PDFBibTeX XMLCite \textit{S. A. Terwijn}, Bull. Symb. Log. 26, No. 3--4, 224--240 (2020; Zbl 1465.03078) Full Text: DOI arXiv
Byrski, Aleksander (ed.); Hughes, John (ed.) Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. (English) Zbl 1464.68005 Lecture Notes in Computer Science 12222. Cham: Springer (ISBN 978-3-030-57760-5/pbk; 978-3-030-57761-2/ebook). x, 249 p. (2020). MSC: 68-06 68N18 00B25 PDFBibTeX XMLCite \textit{A. Byrski} (ed.) and \textit{J. Hughes} (ed.), Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13--14, 2020. Revised selected papers. Cham: Springer (2020; Zbl 1464.68005) Full Text: DOI
Urciuoli, Sebastián; Tasistro, Álvaro; Szasz, Nora Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 1498.03044 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 187-203 (2020). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{S. Urciuoli} et al., Electron. Notes Theor. Comput. Sci. 351, 187--203 (2020; Zbl 1498.03044) Full Text: DOI
Martín, Alexis; Ríos, Alejandro; Viso, Andrés Pure pattern calculus à la de Bruijn. (English) Zbl 07313967 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 95-113 (2020). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{A. Martín} et al., Electron. Notes Theor. Comput. Sci. 351, 95--113 (2020; Zbl 07313967) Full Text: DOI arXiv
Alves, Sandra; Fernández, Maribel; Ramos, Miguel EVL: a typed higher-order functional language for events. (English) Zbl 1509.68040 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 3-23 (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{S. Alves} et al., Electron. Notes Theor. Comput. Sci. 351, 3--23 (2020; Zbl 1509.68040) Full Text: DOI arXiv
Pezlar, Ivo Composition of deductions within the propositions-as-types paradigm. (English) Zbl 1485.03231 Log. Univers. 14, No. 4, 481-493 (2020). MSC: 03F03 03B40 03B16 PDFBibTeX XMLCite \textit{I. Pezlar}, Log. Univers. 14, No. 4, 481--493 (2020; Zbl 1485.03231) Full Text: DOI
Kozyrev, S. V. Genome as a functional program. (English) Zbl 1497.68094 Lobachevskii J. Math. 41, No. 12, 2326-2331 (2020). MSC: 68N18 68Q07 92D15 PDFBibTeX XMLCite \textit{S. V. Kozyrev}, Lobachevskii J. Math. 41, No. 12, 2326--2331 (2020; Zbl 1497.68094) Full Text: DOI arXiv
Kesner, Delia; Vial, Pierre Consuming and persistent types for classical logic. (English) Zbl 1498.03042 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 619-632 (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{D. Kesner} and \textit{P. Vial}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 619--632 (2020; Zbl 1498.03042) Full Text: DOI
Katsumata, Shin-ya; Rivas, Exequiel; Uustalu, Tarmo Interaction laws of monads and comonads. (English) Zbl 1499.68065 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 604-618 (2020). MSC: 68N18 18C15 PDFBibTeX XMLCite \textit{S.-y. Katsumata} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 604--618 (2020; Zbl 1499.68065) Full Text: DOI arXiv
Herbelin, Hugo; Miquey, Étienne A calculus of expandable stores. Continuation-and-environment-passing style translations. (English) Zbl 1498.03031 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 564-577 (2020). MSC: 03B38 03B40 PDFBibTeX XMLCite \textit{H. Herbelin} and \textit{É. Miquey}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 564--577 (2020; Zbl 1498.03031) Full Text: DOI
Curzi, Gianluca; Pagani, Michele The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 327-340 (2020). MSC: 03B40 03B48 68Q85 PDFBibTeX XMLCite \textit{G. Curzi} and \textit{M. Pagani}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 327--340 (2020; Zbl 1498.03041) Full Text: DOI
Arkor, Nathanael; Fiore, Marcelo Algebraic models of simple type theories. A polynomial approach. (English) Zbl 1498.03039 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 88-101 (2020). MSC: 03B40 03B38 18D15 18F20 PDFBibTeX XMLCite \textit{N. Arkor} and \textit{M. Fiore}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 88--101 (2020; Zbl 1498.03039) Full Text: DOI arXiv
Bono, Viviana; Dezani-Ciancaglini, Mariangiola A tale of intersection types. (English) Zbl 1498.03040 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 7-20 (2020). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{V. Bono} and \textit{M. Dezani-Ciancaglini}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 7--20 (2020; Zbl 1498.03040) Full Text: DOI Link
Ayala-Rincón, Mauricio; Fernández, Maribel; Sobrinho, Daniele Nantes; Vale, Deivid On solving nominal disunification constraints. (English) Zbl 1495.03048 Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020). MSC: 03B70 03B40 68Q55 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 348, 3--22 (2020; Zbl 1495.03048) Full Text: DOI
Nakano, Keisuke (ed.); Sagonas, Konstantinos (ed.) Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. (English) Zbl 1464.68017 Lecture Notes in Computer Science 12073. Cham: Springer (ISBN 978-3-030-59024-6/pbk; 978-3-030-59025-3/ebook). xii, 221 p. (2020). MSC: 68-06 68N17 68N18 00B25 PDFBibTeX XMLCite \textit{K. Nakano} (ed.) and \textit{K. Sagonas} (ed.), Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14--16, 2020. Proceedings. Cham: Springer (2020; Zbl 1464.68017) Full Text: DOI
Parys, Paweł A type system describing unboundedness. (English) Zbl 1462.68109 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020). MSC: 68Q45 03B40 03D05 68Q17 PDFBibTeX XMLCite \textit{P. Parys}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020; Zbl 1462.68109) Full Text: DOI Link