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 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 OpenURL
Pathan, M. A.; Khan, Waseem A. On \(\lambda \)-Changhee-Hermite polynomials. (English) Zbl 07523596 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 07523596) 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 OpenURL
Wang, Liang; Zhao, Jianxin; Mortier, Richard OCaml scientific computing. Functional programming in data science and artificial intelligence (to appear). (English) Zbl 07503505 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6). xxii, 355 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 (to appear). Cham: Springer (2022; Zbl 07503505) 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
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 07432505 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 07432505) Full Text: DOI OpenURL
Dal Lago, Ugo; Hoshino, Naohiko The geometry of Bayesian programming. (English) Zbl 07527574 Math. Struct. Comput. Sci. 31, No. 6, 633-681 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{N. Hoshino}, Math. Struct. Comput. Sci. 31, No. 6, 633--681 (2021; Zbl 07527574) Full Text: DOI 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
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
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 07471685 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 07471685) 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: 11Bxx 05Axx 33Cxx 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: 68-XX 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
Breitner, Joachim; Spector-Zabusky, Antal; Li, Yao; Rizkallah, Christine; Wiegley, John; Cohen, Joshua; Weirich, Stephanie Ready, set, verify! Applying hs-to-coq to real-world Haskell code. (English) Zbl 07450477 J. Funct. Program. 31, Paper No. e5, 41 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{J. Breitner} et al., J. Funct. Program. 31, Paper No. e5, 41 p. (2021; Zbl 07450477) Full Text: DOI arXiv OpenURL
Andersen, Kristoffer Just Arndal; Sergey, Ilya Protocol combinators for modeling, testing, and execution of distributed systems. (English) Zbl 07450476 J. Funct. Program. 31, Paper No. e3, 29 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{K. J. A. Andersen} and \textit{I. Sergey}, J. Funct. Program. 31, Paper No. e3, 29 p. (2021; Zbl 07450476) Full Text: DOI OpenURL
Kiselyov, Oleg; Mu, Shin-Cheng; Sabry, Amr Not by equations alone. Reasoning with extensible effects. (English) Zbl 07450475 J. Funct. Program. 31, Paper No. e2, 42 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{O. Kiselyov} et al., J. Funct. Program. 31, Paper No. e2, 42 p. (2021; Zbl 07450475) Full Text: DOI OpenURL
Filinski, Andrzej Proof-directed program transformation: a functional account of efficient regular expression matching. (English) Zbl 07443770 J. Funct. Program. 31, Paper No. e12, 38 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{A. Filinski}, J. Funct. Program. 31, Paper No. e12, 38 p. (2021; Zbl 07443770) Full Text: DOI OpenURL
Sterling, Jonathan Higher order functions and Brouwer’s thesis. (English) Zbl 07443769 J. Funct. Program. 31, Paper No. e11, 33 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{J. Sterling}, J. Funct. Program. 31, Paper No. e11, 33 p. (2021; Zbl 07443769) Full Text: DOI arXiv OpenURL
Erwig, Martin; Kumar, Prashant Explainable dynamic programming. (English) Zbl 07443768 J. Funct. Program. 31, Paper No. e10, 26 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{M. Erwig} and \textit{P. Kumar}, J. Funct. Program. 31, Paper No. e10, 26 p. (2021; Zbl 07443768) Full Text: DOI OpenURL
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. (English) Zbl 07443767 J. Funct. Program. 31, Paper No. e9, 75 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{L. Skorstengaard} et al., J. Funct. Program. 31, Paper No. e9, 75 p. (2021; Zbl 07443767) Full Text: DOI arXiv OpenURL
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas Cubical agda: a dependently typed programming language with univalence and higher inductive types. (English) Zbl 07443766 J. Funct. Program. 31, Paper No. e8, 47 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{A. Vezzosi} et al., J. Funct. Program. 31, Paper No. e8, 47 p. (2021; Zbl 07443766) Full Text: DOI OpenURL
Morihata, Akimasa Lambda calculus with algebraic simplification for reduction parallelisation: extended study. (English) Zbl 07443765 J. Funct. Program. 31, Paper No. e7, 40 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{A. Morihata}, J. Funct. Program. 31, Paper No. e7, 40 p. (2021; Zbl 07443765) Full Text: DOI OpenURL
Van Strydonck, Thomas; Piessens, Frank; Devriese, Dominique Linear capabilities for fully abstract compilation of separation-logic-verified code. (English) Zbl 07443764 J. Funct. Program. 31, Paper No. e6, 55 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{T. Van Strydonck} et al., J. Funct. Program. 31, Paper No. e6, 55 p. (2021; Zbl 07443764) Full Text: DOI OpenURL
Shafer, Paul; Terwijn, Sebastiaan A. Ordinal analysis of partial combinatory algebras. (English) Zbl 07442023 J. Symb. Log. 86, No. 3, 1154-1188 (2021). MSC: 03D28 03B40 03D45 PDF BibTeX XML Cite \textit{P. Shafer} and \textit{S. A. Terwijn}, J. Symb. Log. 86, No. 3, 1154--1188 (2021; Zbl 07442023) Full Text: DOI arXiv OpenURL
Dal Lago, Ugo; Gavazzo, Francesco Differential logical relations. II: Increments and derivatives. (English) Zbl 07429273 Theor. Comput. Sci. 895, 34-47 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{F. Gavazzo}, Theor. Comput. Sci. 895, 34--47 (2021; Zbl 07429273) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S.-H. You} et al., Lect. Notes Comput. Sci. 12648, 635--663 (2021; Zbl 1473.68040) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Vákár}, Lect. Notes Comput. Sci. 12648, 607--634 (2021; Zbl 1473.68058) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{H. Goldstein} et al., Lect. Notes Comput. Sci. 12648, 264--291 (2021; Zbl 1473.68044) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. Zoethout}, Math. Struct. Comput. Sci. 31, No. 2, 214--233 (2021; Zbl 1478.18004) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Sison, Robert; Murray, Toby Verified secure compilation for mixed-sensitivity concurrent programs. (English) Zbl 07400738 J. Funct. Program. 31, Paper No e18, 60 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{R. Sison} and \textit{T. Murray}, J. Funct. Program. 31, Paper No e18, 60 p. (2021; Zbl 07400738) Full Text: DOI arXiv OpenURL
Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 07400737 J. Funct. Program. 31, Paper No e17, 38 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{R. Affeldt} et al., J. Funct. Program. 31, Paper No e17, 38 p. (2021; Zbl 07400737) Full Text: DOI arXiv OpenURL
Gibbons, Jeremy How to design co-programs. (English) Zbl 07400735 J. Funct. Program. 31, Paper No e15, 15 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{J. Gibbons}, J. Funct. Program. 31, Paper No e15, 15 p. (2021; Zbl 07400735) Full Text: DOI OpenURL
Petricek, Tomas Composable data visualizations. (English) Zbl 07400733 J. Funct. Program. 31, Paper No e13, 18 p. (2021). MSC: 68N18 PDF BibTeX XML Cite \textit{T. Petricek}, J. Funct. Program. 31, Paper No e13, 18 p. (2021; Zbl 07400733) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Loreti, Michele Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (English) Zbl 07388001 Formal Asp. Comput. 33, No. 3, 457-458 (2021). MSC: 00A17 03-02 68-02 03B40 68N18 03B70 PDF BibTeX XML Cite \textit{M. Loreti}, Formal Asp. Comput. 33, No. 3, 457--458 (2021; Zbl 07388001) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F.-J. de Vries}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 25, 16 p. (2021; Zbl 07379296) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{G. Soleymanpour} and \textit{A. S. Janfada}, Int. Electron. J. Algebra 29, 120--133 (2021; Zbl 1467.13038) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{A. Bentkamp} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 1, 38 p. (2021; Zbl 07350767) Full Text: arXiv Link OpenURL
Maršík, Jirka; Amblard, Maxime; de Groote, Philippe Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation. (English) Zbl 07346943 Theor. Comput. Sci. 869, 108-155 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. Maršík} et al., Theor. Comput. Sci. 869, 108--155 (2021; Zbl 07346943) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. C. Protin}, J. Log. Comput. 31, No. 2, 416--425 (2021; Zbl 07332112) Full Text: DOI OpenURL
Hasegawa, Ryu Complete call-by-value calculi of control operators. II: Strong termination. (English) Zbl 07327951 Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{R. Hasegawa}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021; Zbl 07327951) Full Text: arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{M. Christensen} et al., Theor. Comput. Sci. 851, 39--61 (2021; Zbl 1477.68030) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Battyányi, Péter; Nour, Karim Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. (English) Zbl 07513072 AIMS Math. 5, No. 4, 3702-3713 (2020). MSC: 03B40 03F05 PDF BibTeX XML Cite \textit{P. Battyányi} and \textit{K. Nour}, AIMS Math. 5, No. 4, 3702--3713 (2020; Zbl 07513072) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Trindade} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25--42 (2020; Zbl 1477.68073) Full Text: arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{Z. Savanović} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 3--24 (2020; Zbl 1477.68183) Full Text: arXiv Link OpenURL
Jenkins, Christopher; Stump, Aaron; Diehl, Larry Efficient lambda encodings for Mendler-style coinductive types in Cedille. (English) Zbl 07453169 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 PDF BibTeX XML Cite \textit{C. Jenkins} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72--97 (2020; Zbl 07453169) Full Text: arXiv Link OpenURL
Šinkarovs, Artjoms Multi-dimensional arrays with levels. (English) Zbl 07453168 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 PDF BibTeX XML Cite \textit{A. Šinkarovs}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 57--71 (2020; Zbl 07453168) Full Text: arXiv Link OpenURL
Baanen, Anne; Swierstra, Wouter Combining predicate transformer semantics for effects: a case study in parsing regular languages. (English) Zbl 07453167 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 PDF BibTeX XML Cite \textit{A. Baanen} and \textit{W. Swierstra}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39--56 (2020; Zbl 07453167) Full Text: arXiv Link OpenURL
Orchard, Dominic; Wadler, Philip; Eades III, Harley Unifying graded and parameterised monads. (English) Zbl 07453166 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 PDF BibTeX XML Cite \textit{D. Orchard} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 18--38 (2020; Zbl 07453166) Full Text: arXiv Link OpenURL
Voorneveld, Niels From equations to distinctions: two interpretations of effectful computations. (English) Zbl 07453165 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 PDF BibTeX XML Cite \textit{N. Voorneveld}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 1--17 (2020; Zbl 07453165) Full Text: arXiv Link OpenURL
Szokoli, Mátyás; Kiss, Attila Enhanced type inference for binding-time analysis. (English) Zbl 07443568 Acta Univ. Sapientiae, Inform. 12, No. 2, 232-250 (2020). MSC: 68N18 68N15 03B38 PDF BibTeX XML Cite \textit{M. Szokoli} and \textit{A. Kiss}, Acta Univ. Sapientiae, Inform. 12, No. 2, 232--250 (2020; Zbl 07443568) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{B. Dundua} et al., Appl. Math. Inform. Mech. 25, No. 2, 137--146 (2020; Zbl 1476.68053) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{L. Abzianidze}, Appl. Math. Inform. Mech. 25, No. 2, 114--136 (2020; Zbl 1476.68297) Full Text: Link OpenURL
Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao Term-space semantics of typed lambda calculus. (English) Zbl 07391960 Notre Dame J. Formal Logic 61, No. 4, 591-600 (2020). MSC: 03B40 PDF BibTeX XML Cite \textit{R. Kashima} et al., Notre Dame J. Formal Logic 61, No. 4, 591--600 (2020; Zbl 07391960) Full Text: DOI OpenURL
Grust, Torsten Book review of: R. Bird and J. Gibbons, Algorithm design with Haskell. (English) Zbl 07384237 J. Funct. Program. 30, Paper No e29, 3 p. (2020). MSC: 00A17 68-01 68N18 68W01 PDF BibTeX XML Cite \textit{T. Grust}, J. Funct. Program. 30, Paper No e29, 3 p. (2020; Zbl 07384237) Full Text: DOI OpenURL
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 07372775 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 PDF BibTeX XML Cite \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 07372775) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Biernacka} et al., Lect. Notes Comput. Sci. 12470, 147--166 (2020; Zbl 1476.68047) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{H. Katsura} et al., Lect. Notes Comput. Sci. 12470, 86--104 (2020; Zbl 1476.68149) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Ceresa} et al., Lect. Notes Comput. Sci. 12470, 25--43 (2020; Zbl 1476.68145) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{P. Barenbaum} et al., Lect. Notes Comput. Sci. 12545, 242--261 (2020; Zbl 07369992) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{S. Fortz} et al., Lect. Notes Comput. Sci. 12073, 215--219 (2020; Zbl 07368093) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 198--214 (2020; Zbl 07368092) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{O. Westphal} and \textit{J. Voigtländer}, Lect. Notes Comput. Sci. 12073, 179--197 (2020; Zbl 07368091) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{K. Tsushima} et al., Lect. Notes Comput. Sci. 12073, 159--178 (2020; Zbl 07368090) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{R. Okura} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12073, 139--158 (2020; Zbl 07368089) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S.-C. Mu} and \textit{T.-J. Chiang}, Lect. Notes Comput. Sci. 12073, 124--138 (2020; Zbl 07368088) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 106--123 (2020; Zbl 07368087) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{K. Saotome} et al., Lect. Notes Comput. Sci. 12073, 88--105 (2020; Zbl 07368086) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{O. Kiselyov} and \textit{K. Imai}, Lect. Notes Comput. Sci. 12073, 66--87 (2020; Zbl 07368085) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{E. Hainry} et al., Lect. Notes Comput. Sci. 12073, 50--65 (2020; Zbl 07368084) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{B. Accattoli} and \textit{A. Díaz-Caro}, Lect. Notes Comput. Sci. 12073, 33--49 (2020; Zbl 07368083) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{A. Bucciarelli} et al., Lect. Notes Comput. Sci. 12073, 13--32 (2020; Zbl 07368082) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{M. Hamana}, Lect. Notes Comput. Sci. 12073, 3--9 (2020; Zbl 07368081) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{W. Seynaeve} et al., Lect. Notes Comput. Sci. 12222, 204--225 (2020; Zbl 1475.68070) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{D. Janin}, Lect. Notes Comput. Sci. 12222, 180--203 (2020; Zbl 1475.68062) Full Text: DOI HAL OpenURL
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 PDF BibTeX XML Cite \textit{S. Kawahara} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12222, 159--179 (2020; Zbl 1475.68063) Full Text: DOI OpenURL