Eberl, Matthias Higher-order concepts for the potential infinite. (English) Zbl 07648671 Theor. Comput. Sci. 945, Article ID 113667, 17 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Eberl}, Theor. Comput. Sci. 945, Article ID 113667, 17 p. (2023; Zbl 07648671) Full Text: DOI OpenURL
Afshari, Bahareh; Wehr, Dominik Exact bounds for acyclic higher-order recursion schemes. (English) Zbl 07641113 Inf. Comput. 290, Article ID 104982, 15 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{B. Afshari} and \textit{D. Wehr}, Inf. Comput. 290, Article ID 104982, 15 p. (2023; Zbl 07641113) Full Text: DOI OpenURL
Swierstra, Wouter (ed.); Wu, Nicolas (ed.) Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. (English) Zbl 07637815 Lecture Notes in Computer Science 13401. Cham: Springer (ISBN 978-3-031-21313-7/pbk; 978-3-031-21314-4/ebook). vii, 193 p. (2023). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{W. Swierstra} (ed.) and \textit{N. Wu} (ed.), Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17--18, 2022. Revised selected papers. Cham: Springer (2023; Zbl 07637815) Full Text: DOI OpenURL
Zoethout, Jetze Third-order functionals on partial combinatory algebras. (English) Zbl 1502.18008 Ann. Pure Appl. Logic 174, No. 2, Article ID 103205, 36 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 68Q09 03B40 03G30 03D65 18B20 PDF BibTeX XML Cite \textit{J. Zoethout}, Ann. Pure Appl. Logic 174, No. 2, Article ID 103205, 36 p. (2023; Zbl 1502.18008) Full Text: DOI arXiv OpenURL
Nakazawa, Koji; Fujita, Ken-etsu; Imagawa, Yuta Z property for the shuffling calculus. (English) Zbl 07657638 Math. Struct. Comput. Sci. 32, No. 7, 1015-1027 (2022). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Math. Struct. Comput. Sci. 32, No. 7, 1015--1027 (2022; Zbl 07657638) Full Text: DOI OpenURL
Faggian, Claudia; Guerrieri, Giulio; de’ Liguoro, Ugo; Treglia, Riccardo On reduction and normalization in the computational core. (English) Zbl 07657636 Math. Struct. Comput. Sci. 32, No. 7, 934-981 (2022). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{C. Faggian} et al., Math. Struct. Comput. Sci. 32, No. 7, 934--981 (2022; Zbl 07657636) Full Text: DOI arXiv OpenURL
Dowek, Gilles; Férey, Gaspard; Jouannaud, Jean-Pierre; Liu, Jiaxiang Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. (English) Zbl 07657635 Math. Struct. Comput. Sci. 32, No. 7, 898-933 (2022). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{G. Dowek} et al., Math. Struct. Comput. Sci. 32, No. 7, 898--933 (2022; Zbl 07657635) Full Text: DOI OpenURL
Hofmann, Martin; Ledent, Jérémy A quantitative model for simply typed \(\lambda\)-calculus. (English) Zbl 07650542 Math. Struct. Comput. Sci. 32, No. 6, 777-793 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Hofmann} and \textit{J. Ledent}, Math. Struct. Comput. Sci. 32, No. 6, 777--793 (2022; Zbl 07650542) Full Text: DOI OpenURL
Dal Lago, U. Implicit computation complexity in higher-order programming languages. A survey in memory of Martin Hofmann. (English) Zbl 07650541 Math. Struct. Comput. Sci. 32, No. 6, 760-776 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{U. Dal Lago}, Math. Struct. Comput. Sci. 32, No. 6, 760--776 (2022; Zbl 07650541) Full Text: DOI OpenURL
Mardanya, Dharmadas; Maity, Gurupada; Roy, Sankar Kumar The multi-objective multi-item just-in-time transportation problem. (English) Zbl 07638929 Optimization 71, No. 16, 4665-4696 (2022). MSC: 90Cxx 49-XX PDF BibTeX XML Cite \textit{D. Mardanya} et al., Optimization 71, No. 16, 4665--4696 (2022; Zbl 07638929) Full Text: DOI OpenURL
Kim, Taekyun; Kim, Dae San; Kim, Hye Kyung \(\lambda\)-\(q\)-Sheffer sequence and its applications. (English) Zbl 07637895 Demonstr. Math. 55, 843-865 (2022). Reviewer: Uğur Duran (Iskenderun) MSC: 05A30 05A40 11B68 PDF BibTeX XML Cite \textit{T. Kim} et al., Demonstr. Math. 55, 843--865 (2022; Zbl 07637895) Full Text: DOI OpenURL
Hu, Jason Z. S.; Pientka, Brigitte; Schöpp, Ulrich A category theoretic view of contextual types: from simple types to dependent types. (English) Zbl 07628980 ACM Trans. Comput. Log. 23, No. 4, Article No. 25, 36 p. (2022). MSC: 03B38 03B40 03B45 18F20 18N45 PDF BibTeX XML Cite \textit{J. Z. S. Hu} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 25, 36 p. (2022; Zbl 07628980) Full Text: DOI arXiv OpenURL
Campora, John Peter III; Chen, Sheng; Erwig, Martin; Walkingshaw, Eric Migrating gradual types. (English) Zbl 07620650 J. Funct. Program. 32, Paper No. e14, 60 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{J. P. Campora III} et al., J. Funct. Program. 32, Paper No. e14, 60 p. (2022; Zbl 07620650) Full Text: DOI OpenURL
Danvy, Olivier Fold-unfold lemmas for reasoning about recursive programs using the coq proof assistant. (English) Zbl 07620649 J. Funct. Program. 32, Paper No. e13, 27 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{O. Danvy}, J. Funct. Program. 32, Paper No. e13, 27 p. (2022; Zbl 07620649) Full Text: DOI OpenURL
Koronkevich, Paulette; Rakow, Ramon; Ahmed, Amal; Bowman, William J. ANF preserves dependent types up to extensional equality. (English) Zbl 07620648 J. Funct. Program. 32, Paper No. e12, 53 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{P. Koronkevich} et al., J. Funct. Program. 32, Paper No. e12, 53 p. (2022; Zbl 07620648) Full Text: DOI OpenURL
Bodini, Oliver; Singh, Alexandros; Zeilberger, Noam Sampling \(\beta\)-normal linear \(\lambda\)-terms. (English) Zbl 07614095 PU.M.A., Pure Math. Appl. 30, No. 1, 45-55 (2022). Reviewer: Ioan Tomescu (Bucureşti) MSC: 05C30 03B40 05A19 05A16 PDF BibTeX XML Cite \textit{O. Bodini} et al., PU.M.A., Pure Math. Appl. 30, No. 1, 45--55 (2022; Zbl 07614095) Full Text: DOI OpenURL
Babenko, V. F.; Babenko, V. V.; Kovalenko, O. V.; Parfinovych, N. V. General form of \((\lambda,\varphi)\)-additive operators on spaces of \(L\)-space-valued functions. (English) Zbl 07604505 Res. Math. 30, No. 1, 3-9 (2022). MSC: 26Dxx 41Axx 49Jxx PDF BibTeX XML Cite \textit{V. F. Babenko} et al., Res. Math. 30, No. 1, 3--9 (2022; Zbl 07604505) Full Text: DOI OpenURL
Tokuo, K. Natural deduction for quantum logic. (English) Zbl 1501.03005 Log. Univers. 16, No. 3, 469-497 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03B60 03F03 68N18 81P10 PDF BibTeX XML Cite \textit{K. Tokuo}, Log. Univers. 16, No. 3, 469--497 (2022; Zbl 1501.03005) Full Text: DOI OpenURL
Polonsky, Andrew; Statman, Richard On sets of terms having a given intersection type. (English) Zbl 07596583 Log. Methods Comput. Sci. 18, No. 3, Paper No. 35, 23 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Polonsky} and \textit{R. Statman}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 35, 23 p. (2022; Zbl 07596583) Full Text: DOI arXiv OpenURL
Díaz-Caro, Alejandro; Malherbe, Octavio Quantum control in the unitary sphere: lambda-\(S_1\) and its categorical model. (English) Zbl 07596580 Log. Methods Comput. Sci. 18, No. 3, Paper No. 32, 36 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Díaz-Caro} and \textit{O. Malherbe}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 32, 36 p. (2022; Zbl 07596580) Full Text: DOI arXiv OpenURL
Bunder, Martin W. BCI-algebras and related logics. (English) Zbl 07596398 Australas. J. Log. 19, No. 2, 85-95 (2022). Reviewer: Gemma Robles (León) MSC: 03B20 03B35 03B40 03B47 PDF BibTeX XML Cite \textit{M. W. Bunder}, Australas. J. Log. 19, No. 2, 85--95 (2022; Zbl 07596398) Full Text: DOI OpenURL
Kim, Hye Kyung; Lee, Dae Sik Note on \(\lambda\)-linear function arising from the \(p\)-adic Fermionic integral on \(\mathbb{Z}_p\). (English) Zbl 07583809 Adv. Stud. Contemp. Math., Kyungshang 32, No. 2, 147-156 (2022). MSC: 11S80 11F20 11B68 11B83 PDF BibTeX XML Cite \textit{H. K. Kim} and \textit{D. S. Lee}, Adv. Stud. Contemp. Math., Kyungshang 32, No. 2, 147--156 (2022; Zbl 07583809) Full Text: DOI OpenURL
Annenkov, Danil; Milo, Mikkel; Nielsen, Jakob Botsch; Spitters, Bas Extracting functional programs from Coq, in Coq. (English) Zbl 07581654 J. Funct. Program. 32, Paper No. e11, 60 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{D. Annenkov} et al., J. Funct. Program. 32, Paper No. e11, 60 p. (2022; Zbl 07581654) Full Text: DOI arXiv OpenURL
Swierstra, Wouter A well-known representation of monoids and its application to the function ‘vector reverse’. (English) Zbl 07581653 J. Funct. Program. 32, Paper No. e10, 16 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{W. Swierstra}, J. Funct. Program. 32, Paper No. e10, 16 p. (2022; Zbl 07581653) Full Text: DOI OpenURL
Perna, Stefano; Tannen, Val; Wong, Limsoon Iterating on multiple collections in synchrony. (English) Zbl 07581652 J. Funct. Program. 32, Paper No. e9, 53 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{S. Perna} et al., J. Funct. Program. 32, Paper No. e9, 53 p. (2022; Zbl 07581652) Full Text: DOI OpenURL
Danner, Norman; Licata, Daniel R. Denotational semantics as a foundation for cost recurrence extraction for functional languages. (English) Zbl 07581651 J. Funct. Program. 32, Paper No. e8, 73 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{N. Danner} and \textit{D. R. Licata}, J. Funct. Program. 32, Paper No. e8, 73 p. (2022; Zbl 07581651) Full Text: DOI arXiv OpenURL
Protin, M. Clarence; Ferreira, Gilda Typability and type inference in atomic polymorphism. (English) Zbl 07577586 Log. Methods Comput. Sci. 18, No. 3, Paper No. 22, 22 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. C. Protin} and \textit{G. Ferreira}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 22, 22 p. (2022; Zbl 07577586) Full Text: arXiv Link OpenURL
Della Penna, Giuseppe; Intrigila, Benedetto; Manzonetto, Giulio Addressing machines as models of \(\lambda\)-calculus. (English) Zbl 07577574 Log. Methods Comput. Sci. 18, No. 3, Paper No. 10, 31 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{G. Della Penna} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 10, 31 p. (2022; Zbl 07577574) Full Text: arXiv Link OpenURL
Moss, Lawrence S.; Icard, Thomas F. A completeness result for inequational reasoning in a full higher-order setting. (English) Zbl 07576855 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 282-308 (2022). Reviewer: Łukasz Czajka (Dortmund) MSC: 03B16 03B38 03B40 PDF BibTeX XML Cite \textit{L. S. Moss} and \textit{T. F. Icard}, Tributes 46, 282--308 (2022; Zbl 07576855) Full Text: arXiv OpenURL
Jansson, Patrik; Ionescu, Cezar; Bernardy, Jean-Philippe Domain-specific languages of mathematics. (English) Zbl 07572553 Texts in Computing 24. London: College Publications (ISBN 978-1-84890-388-3/pbk). viii, 259 p. (2022). MSC: 68-02 68N18 PDF BibTeX XML Cite \textit{P. Jansson} et al., Domain-specific languages of mathematics. London: College Publications (2022; Zbl 07572553) OpenURL
Yang, Ziyi; Xiao, Yushuo; Guan, Zhichao; Hu, Zhenjiang A lazy desugaring system for evaluating programs with sugars. (English) Zbl 07570124 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 243-261 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{Z. Yang} et al., Lect. Notes Comput. Sci. 13215, 243--261 (2022; Zbl 07570124) Full Text: DOI OpenURL
Wang, Huaduo; Gupta, Gopal FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data. (English) Zbl 07570123 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 224-242 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{H. Wang} and \textit{G. Gupta}, Lect. Notes Comput. Sci. 13215, 224--242 (2022; Zbl 07570123) Full Text: DOI arXiv OpenURL
Vidal, Germán Explanations as programs in probabilistic logic programming. (English) Zbl 07570122 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 205-223 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{G. Vidal}, Lect. Notes Comput. Sci. 13215, 205--223 (2022; Zbl 07570122) Full Text: DOI arXiv OpenURL
van den Berg, Birthe; Schrijvers, Tom A functional account of probabilistic programming with possible worlds. Declarative pearl. (English) Zbl 07570121 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 186-204 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{B. van den Berg} and \textit{T. Schrijvers}, Lect. Notes Comput. Sci. 13215, 186--204 (2022; Zbl 07570121) Full Text: DOI OpenURL
Shbita, Basel; Moitra, Abha Automated generation of control concepts annotation rules using inductive logic programming. System description. (English) Zbl 07570120 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 171-185 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{B. Shbita} and \textit{A. Moitra}, Lect. Notes Comput. Sci. 13215, 171--185 (2022; Zbl 07570120) Full Text: DOI OpenURL
Rozplokhas, Dmitry; Boulytchev, Dmitry Scheduling complexity of interleaving search. (English) Zbl 07570119 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 152-170 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{D. Rozplokhas} and \textit{D. Boulytchev}, Lect. Notes Comput. Sci. 13215, 152--170 (2022; Zbl 07570119) Full Text: DOI arXiv OpenURL
Masuda, Masahiro; Kameyama, Yukiyoshi Unified program generation and verification: a case study on number-theoretic transform. (English) Zbl 07570118 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 133-151 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Masuda} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 13215, 133--151 (2022; Zbl 07570118) Full Text: DOI OpenURL
Nuno Macedo, José; Viera, Marcos; Saraiva, João Zipping strategies and attribute grammars. (English) Zbl 07570117 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 112-132 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{J. Nuno Macedo} et al., Lect. Notes Comput. Sci. 13215, 112--132 (2022; Zbl 07570117) Full Text: DOI arXiv OpenURL
Krijnen, Jacco O. G.; Chakravarty, Manuel M. T.; Keller, Gabriele; Swierstra, Wouter Translation certification for smart contracts. (English) Zbl 07570116 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 94-111 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{J. O. G. Krijnen} et al., Lect. Notes Comput. Sci. 13215, 94--111 (2022; Zbl 07570116) Full Text: DOI arXiv OpenURL
Kiselyov, Oleg Generating C. System description. (English) Zbl 07570115 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 75-93 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{O. Kiselyov}, Lect. Notes Comput. Sci. 13215, 75--93 (2022; Zbl 07570115) Full Text: DOI OpenURL
Hirata, Michikazu; Minamide, Yasuhiko; Sato, Tetsuya Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 57-74 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Hirata} et al., Lect. Notes Comput. Sci. 13215, 57--74 (2022; Zbl 07570114) Full Text: DOI OpenURL
Faisal Al Ameen, Mahmudul; Kobayashi, Naoki; Sato, Ryosuke Asynchronous unfold/fold transformation for fixpoint logic. (English) Zbl 07570113 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 39-56 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Faisal Al Ameen} et al., Lect. Notes Comput. Sci. 13215, 39--56 (2022; Zbl 07570113) Full Text: DOI OpenURL
Chen, Sheng; Noor, Md Rabib Improving type error reporting for type classes. (English) Zbl 07570112 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 19-38 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{S. Chen} and \textit{M. R. Noor}, Lect. Notes Comput. Sci. 13215, 19--38 (2022; Zbl 07570112) Full Text: DOI OpenURL
Ancona, Davide; Barbieri, Pietro; Zucca, Elena Enhancing expressivity of checked corecursive streams. (English) Zbl 07570111 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 1-18 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{D. Ancona} et al., Lect. Notes Comput. Sci. 13215, 1--18 (2022; Zbl 07570111) Full Text: DOI arXiv OpenURL
Hamana, Makoto Modular termination for second-order computation rules and application to algebraic effect handlers. (English) Zbl 07566074 Log. Methods Comput. Sci. 18, No. 2, Paper No. 18, 33 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Hamana}, Log. Methods Comput. Sci. 18, No. 2, Paper No. 18, 33 p. (2022; Zbl 07566074) Full Text: arXiv Link OpenURL
Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. \(\infty\)-groupoid generated by an arbitrary topological \(\lambda\)-model. (English) Zbl 1494.03033 Log. J. IGPL 30, No. 3, 465-488 (2022). MSC: 03B40 06B35 55P99 PDF BibTeX XML Cite \textit{D. O. Martínez-Rivillas} and \textit{R. J. G. B. de Queiroz}, Log. J. IGPL 30, No. 3, 465--488 (2022; Zbl 1494.03033) Full Text: DOI arXiv OpenURL
DeBoer, Neil J. Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 07551710 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{N. J. DeBoer}, Lect. Notes Comput. Sci. 13137, 37--51 (2022; Zbl 07551710) Full Text: DOI OpenURL
Barendregt, Henk; Terwijn, Sebastiaan A. Partial combinatory algebra and generalized numberings. (English) Zbl 07547826 Theor. Comput. Sci. 925, 37-44 (2022). MSC: 03D45 03B40 PDF BibTeX XML Cite \textit{H. Barendregt} and \textit{S. A. Terwijn}, Theor. Comput. Sci. 925, 37--44 (2022; Zbl 07547826) Full Text: DOI arXiv OpenURL
Stirton, William R. Combinatory logic with polymorphic types. (English) Zbl 07541615 Arch. Math. Logic 61, No. 3-4, 317-343 (2022). MSC: 03B40 03Fxx PDF BibTeX XML Cite \textit{W. R. Stirton}, Arch. Math. Logic 61, No. 3--4, 317--343 (2022; Zbl 07541615) Full Text: DOI OpenURL
Kavanagh, Ryan Fairness and communication-based semantics for session-typed languages. (English) Zbl 07538338 Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022). MSC: 68N15 68N18 68N19 68N30 68Q42 PDF BibTeX XML Cite \textit{R. Kavanagh}, Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022; Zbl 07538338) Full Text: DOI arXiv OpenURL
Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. (English) Zbl 07531442 J. Log. Algebr. Methods Program. 127, Article ID 100775, 17 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{J. E. Santo} et al., J. Log. Algebr. Methods Program. 127, Article ID 100775, 17 p. (2022; Zbl 07531442) Full Text: DOI OpenURL
Hanus, Michael (ed.); Igarashi, Atsushi (ed.) Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. (English) Zbl 1492.68018 Lecture Notes in Computer Science 13215. Cham: Springer (ISBN 978-3-030-99460-0/pbk; 978-3-030-99461-7/ebook). xvi, 283 p. (2022). MSC: 68-06 68N17 68N18 00B25 PDF BibTeX XML Cite \textit{M. Hanus} (ed.) and \textit{A. Igarashi} (ed.), Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10--12, 2022. Proceedings. Cham: Springer (2022; Zbl 1492.68018) Full Text: DOI OpenURL
Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu; Kutz, Yunus Nominal unification and matching of higher order expressions with recursive let. (English) Zbl 07527238 Fundam. Inform. 185, No. 3, 247-283 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Schmidt-Schauß} et al., Fundam. Inform. 185, No. 3, 247--283 (2022; Zbl 07527238) Full Text: DOI arXiv OpenURL
Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 07524058 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 07524058) Full Text: DOI arXiv OpenURL
Pathan, M. A.; Khan, Waseem A. On \(\lambda \)-Changhee-Hermite polynomials. (English) Zbl 1487.11029 Analysis, München 42, No. 2, 57-69 (2022). MSC: 11B83 33C45 05A30 05A40 11B68 11S80 PDF BibTeX XML Cite \textit{M. A. Pathan} and \textit{W. A. Khan}, Analysis, München 42, No. 2, 57--69 (2022; Zbl 1487.11029) Full Text: DOI OpenURL
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1483.68226 Theor. Comput. Sci. 913, 8-42 (2022). MSC: 68Q85 03B40 PDF BibTeX XML Cite \textit{A. Durier} et al., Theor. Comput. Sci. 913, 8--42 (2022; Zbl 1483.68226) Full Text: DOI HAL OpenURL
Wang, Liang; Zhao, Jianxin; Mortier, Richard OCaml scientific computing. Functional programming in data science and artificial intelligence. (English) Zbl 1487.68004 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6/pbk; 978-3-030-97645-3/ebook). xxii, 359 p. (2022). MSC: 68-01 65-01 68N15 68N18 68Txx PDF BibTeX XML Cite \textit{L. Wang} et al., OCaml scientific computing. Functional programming in data science and artificial intelligence. Cham: Springer (2022; Zbl 1487.68004) Full Text: DOI OpenURL
Pruiksma, Klaas; Pfenning, Frank Back to futures. (English) Zbl 07492705 J. Funct. Program. 32, Paper No. e6, 34 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{K. Pruiksma} and \textit{F. Pfenning}, J. Funct. Program. 32, Paper No. e6, 34 p. (2022; Zbl 07492705) Full Text: DOI arXiv OpenURL
Hinze, Ralf; Runciman, Colin Super-naturals. (English) Zbl 07492704 J. Funct. Program. 32, Paper No. e5, 19 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{R. Hinze} and \textit{C. Runciman}, J. Funct. Program. 32, Paper No. e5, 19 p. (2022; Zbl 07492704) Full Text: DOI OpenURL
Iwasaki, Hideya; Emoto, Kento; Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. (English) Zbl 07492703 J. Funct. Program. 32, Paper No. e4, 69 p. (2022). MSC: 68N18 PDF BibTeX XML Cite \textit{H. Iwasaki} et al., J. Funct. Program. 32, Paper No. e4, 69 p. (2022; Zbl 07492703) Full Text: DOI OpenURL
Akhlaghpour, Hessameddin An RNA-based theory of natural universal computation. (English) Zbl 1483.92063 J. Theor. Biol. 537, Article ID 110984, 19 p. (2022). MSC: 92C40 68Q07 PDF BibTeX XML Cite \textit{H. Akhlaghpour}, J. Theor. Biol. 537, Article ID 110984, 19 p. (2022; Zbl 1483.92063) Full Text: DOI arXiv OpenURL
Chen, Haibo; Gao, Xin Mathematics and software verification. (English) Zbl 1497.68110 Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54-73 (2022). Reviewer: Damas Gruska (Bratislava) MSC: 68N30 03B70 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Chen} and \textit{X. Gao}, in: Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54--73 (2022; Zbl 1497.68110) Full Text: Link OpenURL
Olimpieri, Federico; Vaux Auclair, Lionel On the Taylor expansion of \(\lambda\)-terms and the groupoid structure of their rigid approximants. (English) Zbl 07471690 Log. Methods Comput. Sci. 18, No. 1, Paper No. 1, 31 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. Olimpieri} and \textit{L. Vaux Auclair}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 1, 31 p. (2022; Zbl 07471690) Full Text: arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022; Zbl 1487.68165) Full Text: DOI OpenURL
Guidi, Ferruccio A formal system for the universal quantification of schematic variables. (English) Zbl 07628970 ACM Trans. Comput. Log. 23, No. 1, Article No. 2, 37 p. (2021). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{F. Guidi}, ACM Trans. Comput. Log. 23, No. 1, Article No. 2, 37 p. (2021; Zbl 07628970) Full Text: DOI arXiv OpenURL
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares A semantics and a logic for Fuzzy Arden Syntax. (English) Zbl 1499.03023 Soft Comput. 25, No. 9, 6789-6805 (2021). MSC: 03B70 03B52 68Q60 68Q85 68N18 PDF BibTeX XML Cite \textit{L. Gomes} et al., Soft Comput. 25, No. 9, 6789--6805 (2021; Zbl 1499.03023) Full Text: DOI OpenURL
Kim, Dae San; Kim, Taekyun; Kwon, Jongkyum; Lee, Si-Hyeon; Park, Seongho On \(\lambda\)-linear functionals arising from \(p\)-adic integrals on \(\mathbb{Z}_p\). (English) Zbl 1494.05015 Adv. Difference Equ. 2021, Paper No. 479, 12 p. (2021). MSC: 05A40 11S80 11B68 PDF BibTeX XML Cite \textit{D. S. Kim} et al., Adv. Difference Equ. 2021, Paper No. 479, 12 p. (2021; Zbl 1494.05015) Full Text: DOI OpenURL
Franceschino, Lucas; Pichardie, David; Talpin, Jean-Pierre Verified functional programming of an abstract interpreter. (English) Zbl 1497.68102 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 124-143 (2021). MSC: 68N20 68N18 68V15 PDF BibTeX XML Cite \textit{L. Franceschino} et al., Lect. Notes Comput. Sci. 12913, 124--143 (2021; Zbl 1497.68102) Full Text: DOI arXiv OpenURL
Eliott, Harold Pancho; Berger, Martin A program logic for fresh name generation. (English) Zbl 1496.68103 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 76-91 (2021). MSC: 68N30 03B40 03B70 PDF BibTeX XML Cite \textit{H. P. Eliott} and \textit{M. Berger}, Lect. Notes Comput. Sci. 12818, 76--91 (2021; Zbl 1496.68103) Full Text: DOI arXiv OpenURL
Siskind, Jeffrey Mark; Pearlmutter, Barak A. Correction to: “Divide-and-conquer checkpointing for arbitrary programs with no user annotation”. (English) Zbl 1489.65049 Optim. Methods Softw. 36, No. 6, 1317-1318 (2021). MSC: 65D25 68N18 PDF BibTeX XML Cite \textit{J. M. Siskind} and \textit{B. A. Pearlmutter}, Optim. Methods Softw. 36, No. 6, 1317--1318 (2021; Zbl 1489.65049) Full Text: DOI OpenURL
Park, Jin-Woo; Kim, Byung Moon; Kwon, Jongkyum Some identities of the degenerate Bernoulli polynomials of the second kind arising from \(\lambda\)-Sheffer sequences. (English) Zbl 07539965 Proc. Jangjeon Math. Soc. 24, No. 3, 323-342 (2021). MSC: 33E20 05A30 11B83 11S80 PDF BibTeX XML Cite \textit{J.-W. Park} et al., Proc. Jangjeon Math. Soc. 24, No. 3, 323--342 (2021; Zbl 07539965) Full Text: DOI OpenURL
Jenkins, Christopher; Stump, Aaron Monotone recursive types and recursive data representations in Cedille. (English) Zbl 1495.68036 Math. Struct. Comput. Sci. 31, No. 6, 682-745 (2021). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{C. Jenkins} and \textit{A. Stump}, Math. Struct. Comput. Sci. 31, No. 6, 682--745 (2021; Zbl 1495.68036) Full Text: DOI arXiv OpenURL
Dal Lago, Ugo; Hoshino, Naohiko The geometry of Bayesian programming. (English) Zbl 1495.68035 Math. Struct. Comput. Sci. 31, No. 6, 633-681 (2021). MSC: 68N18 03F52 68N19 68Q55 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{N. Hoshino}, Math. Struct. Comput. Sci. 31, No. 6, 633--681 (2021; Zbl 1495.68035) Full Text: DOI arXiv OpenURL
Grygiel, Katarzyna; Larcher, Isabella Unary profile of lambda terms with restricted De Bruijn indices. (English) Zbl 07524074 Discrete Math. Theor. Comput. Sci. 22, No. 3, Paper No. 2, 19 p. (2021). MSC: 03B40 03B70 05C15 05C05 05C12 68R10 PDF BibTeX XML Cite \textit{K. Grygiel} and \textit{I. Larcher}, Discrete Math. Theor. Comput. Sci. 22, No. 3, Paper No. 2, 19 p. (2021; Zbl 07524074) Full Text: Link OpenURL
Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian ATLAS: automated amortised complexity analysis of self-adjusting data structures. (English) Zbl 1493.68129 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 99-122 (2021). MSC: 68P05 68N18 PDF BibTeX XML Cite \textit{L. Leutgeb} et al., Lect. Notes Comput. Sci. 12760, 99--122 (2021; Zbl 1493.68129) Full Text: DOI OpenURL
Farzan, Azadeh; Nicolet, Victor Counterexample-guided partial bounding for recursive function synthesis. (English) Zbl 1493.68107 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 832-855 (2021). MSC: 68N30 68N18 PDF BibTeX XML Cite \textit{A. Farzan} and \textit{V. Nicolet}, Lect. Notes Comput. Sci. 12759, 832--855 (2021; Zbl 1493.68107) Full Text: DOI OpenURL
Hu, Qinheping; Cyphert, John; D’Antoni, Loris; Reps, Thomas Synthesis with asymptotic resource bounds. (English) Zbl 1493.68112 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 783-807 (2021). MSC: 68N30 68N18 PDF BibTeX XML Cite \textit{Q. Hu} et al., Lect. Notes Comput. Sci. 12759, 783--807 (2021; Zbl 1493.68112) Full Text: DOI arXiv OpenURL
Šefl, Vít Translating lambda calculus into C++ templates. (English) Zbl 1490.68076 Zsók, Viktória (ed.) et al., Trends in functional programming. 22nd international symposium, TFP 2021, virtual event, February 17–19, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12834, 95-115 (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{V. Šefl}, Lect. Notes Comput. Sci. 12834, 95--115 (2021; Zbl 1490.68076) Full Text: DOI OpenURL
Motara, Yusuf Moosa High-level modelling for typed functional programming. (English) Zbl 1490.68075 Zsók, Viktória (ed.) et al., Trends in functional programming. 22nd international symposium, TFP 2021, virtual event, February 17–19, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12834, 69-94 (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{Y. M. Motara}, Lect. Notes Comput. Sci. 12834, 69--94 (2021; Zbl 1490.68075) Full Text: DOI OpenURL
Kokke, Wen; Dardha, Ornela Prioritise the best variation. (English) Zbl 1490.68141 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021). MSC: 68Q85 03B70 68N18 PDF BibTeX XML Cite \textit{W. Kokke} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 100--119 (2021; Zbl 1490.68141) Full Text: DOI arXiv Link OpenURL
Achten, Peter Segments: an alternative rainfall problem. (English) Zbl 07486026 J. Funct. Program. 31, Paper No. e23, 17 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{P. Achten}, J. Funct. Program. 31, Paper No. e23, 17 p. (2021; Zbl 07486026) Full Text: DOI OpenURL
Dudenhefner, Andrej; Urzyczyn, Paweł Kripke semantics for intersection formulas. (English) Zbl 07480989 ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021). MSC: 03B40 03F03 03F05 PDF BibTeX XML Cite \textit{A. Dudenhefner} and \textit{P. Urzyczyn}, ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021; Zbl 07480989) Full Text: DOI OpenURL
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 1486.68039 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 68N30 03B40 68N19 68Q10 68Q55 PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 1486.68039) Full Text: arXiv Link OpenURL
Kim, Taekyun; Kim, Dae San; Kwon, Jongkyum; Lee, Hyunseok Representations of degenerate poly-Bernoulli polynomials. (English) Zbl 07465037 J. Inequal. Appl. 2021, Paper No. 58, 12 p. (2021). MSC: 11B68 11B83 05A19 05A40 PDF BibTeX XML Cite \textit{T. Kim} et al., J. Inequal. Appl. 2021, Paper No. 58, 12 p. (2021; Zbl 07465037) Full Text: DOI arXiv OpenURL
Copello, Ernesto; Szasz, Nora; Tasistro, Álvaro Formalization of metatheory of the lambda calculus in constructive type theory using the barendregt variable convention. (English) Zbl 07460121 Math. Struct. Comput. Sci. 31, No. 3, 341-360 (2021). MSC: 03B40 68V15 68V20 PDF BibTeX XML Cite \textit{E. Copello} et al., Math. Struct. Comput. Sci. 31, No. 3, 341--360 (2021; Zbl 07460121) Full Text: DOI OpenURL
Zamdzhiev, Vladimir Computational adequacy for substructural lambda calculi. (English) Zbl 07454912 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 322-334 (2021). MSC: 03B40 03G30 PDF BibTeX XML Cite \textit{V. Zamdzhiev}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 322--334 (2021; Zbl 07454912) Full Text: arXiv Link OpenURL
Mu, Shin-Cheng; Chiang, Tsung-Ju Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. (English) Zbl 07453899 J. Funct. Program. 31, Paper No. e31, 10 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{S.-C. Mu} and \textit{T.-J. Chiang}, J. Funct. Program. 31, Paper No. e31, 10 p. (2021; Zbl 07453899) Full Text: DOI arXiv OpenURL
Siek, Jeremy G.; Chen, Tianyu Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. (English) Zbl 07453898 J. Funct. Program. 31, Paper No. e30, 73 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{J. G. Siek} and \textit{T. Chen}, J. Funct. Program. 31, Paper No. e30, 73 p. (2021; Zbl 07453898) Full Text: DOI arXiv OpenURL
Bird, Richard; Mu, Shin-Cheng A greedy algorithm for dropping digits. (English) Zbl 07453897 J. Funct. Program. 31, Paper No. e29, 9 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{R. Bird} and \textit{S.-C. Mu}, J. Funct. Program. 31, Paper No. e29, 9 p. (2021; Zbl 07453897) Full Text: DOI OpenURL
Huang, Xuejing; Zhao, Jinxu; Oliveira, Bruno C. D. S. Taming the merge operator. (English) Zbl 07453896 J. Funct. Program. 31, Paper No. e28, 67 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{X. Huang} et al., J. Funct. Program. 31, Paper No. e28, 67 p. (2021; Zbl 07453896) Full Text: DOI OpenURL
Qu, Weihao; Gaboardi, Marco; Garg, Deepak Relational cost analysis in a functional-imperative setting. (English) Zbl 07453895 J. Funct. Program. 31, Paper No. e27, 62 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{W. Qu} et al., J. Funct. Program. 31, Paper No. e27, 62 p. (2021; Zbl 07453895) Full Text: DOI arXiv OpenURL
Brede, Nuria; Botta, Nicola On the correctness of monadic backward induction. (English) Zbl 07450857 J. Funct. Program. 31, Paper No. e26, 39 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{N. Brede} and \textit{N. Botta}, J. Funct. Program. 31, Paper No. e26, 39 p. (2021; Zbl 07450857) Full Text: DOI arXiv OpenURL
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele Cogent: uniqueness types and certifying compilation. (English) Zbl 07450856 J. Funct. Program. 31, Paper No. e25, 66 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{L. O'Connor} et al., J. Funct. Program. 31, Paper No. e25, 66 p. (2021; Zbl 07450856) Full Text: DOI OpenURL
Botta, Nicola; Brede, Nuria; Jansson, Patrik; Richter, Tim Extensional equality preservation and verified generic programming. (English) Zbl 07450855 J. Funct. Program. 31, Paper No. e24, 24 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{N. Botta} et al., J. Funct. Program. 31, Paper No. e24, 24 p. (2021; Zbl 07450855) Full Text: DOI arXiv OpenURL
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. (English) Zbl 07450854 J. Funct. Program. 31, Paper No. e22, 55 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{G. Allais} et al., J. Funct. Program. 31, Paper No. e22, 55 p. (2021; Zbl 07450854) Full Text: DOI arXiv OpenURL
New, Max S.; Licata, Daniel R.; Ahmed, Amal Gradual type theory. (English) Zbl 07450853 J. Funct. Program. 31, Paper No. e21, 139 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{M. S. New} et al., J. Funct. Program. 31, Paper No. e21, 139 p. (2021; Zbl 07450853) Full Text: DOI OpenURL
Siek, Jeremy G.; Thiemann, Peter; Wadler, Philip Blame and coercion: together again for the first time. (English) Zbl 07450852 J. Funct. Program. 31, Paper No. e20, 56 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{J. G. Siek} et al., J. Funct. Program. 31, Paper No. e20, 56 p. (2021; Zbl 07450852) Full Text: DOI OpenURL
Shivkumar, Bhargav; Murphy, Jeffrey; Ziarek, Lukasz Real-time MLton: a standard ML runtime for real-time functional programs. (English) Zbl 07450851 J. Funct. Program. 31, Paper No. e19, 51 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{B. Shivkumar} et al., J. Funct. Program. 31, Paper No. e19, 51 p. (2021; Zbl 07450851) Full Text: DOI OpenURL
Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu Confluence proofs of lambda-mu-calculi by Z theorem. (English) Zbl 07450681 Stud. Log. 109, No. 5, 917-936 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{Y. Honda} et al., Stud. Log. 109, No. 5, 917--936 (2021; Zbl 07450681) Full Text: DOI OpenURL