Alkharabsheh, Tasnim; Shebrawi, Khalid; Abu-Saleem, Mohammed Hilbert-Schmidt numerical radius inequalities for certain \(2 \times 2\) operator matrices. (English) Zbl 07820179 Zeidan, Dia (ed.) et al., Mathematics and computation. IACMC 2022. Selected papers based on the presentations at the 7th international Arab conference on mathematics and computations, Zarqa, Jordan, May 11–13, 2022. Singapore: Springer. Springer Proc. Math. Stat. 418, 93-106 (2023). MSC: 47A12 47A30 47A63 47B15 PDFBibTeX XMLCite \textit{T. Alkharabsheh} et al., Springer Proc. Math. Stat. 418, 93--106 (2023; Zbl 07820179) Full Text: DOI
Dinčić, Nebojša Č.; Djordjević, Bogdan D. Yang-Baxter-like matrix equation: a road less taken. (English) Zbl 07806660 Moslehian, Mohammad Sal (ed.), Matrix and operator equations and applications. Cham: Springer. Math. Online First Collect., 241-346 (2023). MSC: 15A24 47A62 16T25 47A60 47J05 PDFBibTeX XMLCite \textit{N. Č. Dinčić} and \textit{B. D. Djordjević}, in: Matrix and operator equations and applications. Cham: Springer. 241--346 (2023; Zbl 07806660) Full Text: DOI
Furudono, Naoya; Cong, Youyou; Masuhara, Hidehiko; Leijen, Daan Towards efficient adjustment of effect rows. (English) Zbl 1528.68065 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 169-191 (2023). MSC: 68N18 68N20 PDFBibTeX XMLCite \textit{N. Furudono} et al., Lect. Notes Comput. Sci. 13401, 169--191 (2023; Zbl 1528.68065) Full Text: DOI
Ikemori, Kazuki; Cong, Youyou; Masuhara, Hidehiko; Leijen, Daan Sound and complete type inference for closed effect rows. (English) Zbl 1528.68067 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 144-168 (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Ikemori} et al., Lect. Notes Comput. Sci. 13401, 144--168 (2023; Zbl 1528.68067) Full Text: DOI
Hartmann, Johannes; Gibbons, Jeremy Algorithm design with the selection monad. (English) Zbl 1528.68066 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 126-143 (2023). MSC: 68N18 68W05 91A68 PDFBibTeX XMLCite \textit{J. Hartmann} and \textit{J. Gibbons}, Lect. Notes Comput. Sci. 13401, 126--143 (2023; Zbl 1528.68066) Full Text: DOI
Cong, Youyou; Asai, Kenichi Understanding algebraic effect handlers via delimited control operators. (English) Zbl 1528.68060 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 59-79 (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{Y. Cong} and \textit{K. Asai}, Lect. Notes Comput. Sci. 13401, 59--79 (2023; Zbl 1528.68060) Full Text: DOI
Lubbers, Mart Deep embedding with class. (English) Zbl 1528.68069 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 39-58 (2023). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{M. Lubbers}, Lect. Notes Comput. Sci. 13401, 39--58 (2023; Zbl 1528.68069) Full Text: DOI
Tran, Quyen Convergence analysis of Nédélec finite element approximations for a stationary Maxwell’s system. (English) Zbl 07680918 Nguyen, Dinh-Liem (ed.) et al., Recent advances in inverse problems for partial differential equations. AMS special session on recent developments on analysis and computation for inverse problems for PDEs, virtual, March 13–14, 2021 and AMS special session on recent advances in inverse problems for PDEs, virtual, October 23–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 784, 119-127 (2023). MSC: 65-XX 35R25 47A60 65M12 65M15 PDFBibTeX XMLCite \textit{Q. Tran}, Contemp. Math. 784, 119--127 (2023; Zbl 07680918) Full Text: DOI
Arjika, Sama; Ullah, Khalin; Srivastava, Hari Mohan; Rafiq, Ayesha; Arif, Muhammad A study of sharp coefficient bounds for a new subfamily of starlike functions. (English) Zbl 07799436 Seck, Diaraf (ed.) et al., Nonlinear analysis, geometry and applications. Proceedings of the second NLAGA-BIRS symposium, Cap Skirring, Senegal, January 25–30, 2022. Cham: Springer. Trends Math., 375-398 (2022). MSC: 30C50 PDFBibTeX XMLCite \textit{S. Arjika} et al., in: Nonlinear analysis, geometry and applications. Proceedings of the second NLAGA-BIRS symposium, Cap Skirring, Senegal, January 25--30, 2022. Cham: Springer. 375--398 (2022; Zbl 07799436) Full Text: DOI
de Oliveira, Alexandre Garcia; Jaskelioff, Mauro; de Melo, Ana Cristina Vieira On structuring functional programs with monoidal profunctors. (English) Zbl 1525.68014 Gibbons, Jeremy (ed.) et al., Proceedings of the ninth workshop on mathematically structured functional programming, MSFP 2022, Munich, Germany, April 2, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 360, 134-150 (2022). MSC: 68N18 18M05 PDFBibTeX XMLCite \textit{A. G. de Oliveira} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 360, 134--150 (2022; Zbl 1525.68014) Full Text: arXiv Link
Jhala, Ranjit Embedded domain specific verifiers. (English) Zbl 1528.68227 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 535-553 (2022). MSC: 68Q60 68N18 68V15 PDFBibTeX XMLCite \textit{R. Jhala}, Lect. Notes Comput. Sci. 13660, 535--553 (2022; Zbl 1528.68227) Full Text: DOI
Amaro, Maycon J. J.; Feitosa, Samuel S.; Ribeiro, Rodrigo G. A sound strategy to compile general recursion into finite depth pattern matching. (English) Zbl 1528.68050 Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 39-54 (2022). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{M. J. J. Amaro} et al., Lect. Notes Comput. Sci. 13768, 39--54 (2022; Zbl 1528.68050) Full Text: DOI
Schuster, Philipp; Brachthäuser, Jonathan Immanuel; Ostermann, Klaus Region-based resource management and lexical exception handlers in continuation-passing style. (English) Zbl 1528.68052 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 492-519 (2022). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{P. Schuster} et al., Lect. Notes Comput. Sci. 13240, 492--519 (2022; Zbl 1528.68052) Full Text: DOI
Yang, Zhixuan; Paviotti, Marco; Wu, Nicolas; van den Berg, Birthe; Schrijvers, Tom Structured handling of scoped effects. (English) Zbl 1528.68088 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 462-491 (2022). MSC: 68N30 18C50 68N18 PDFBibTeX XMLCite \textit{Z. Yang} et al., Lect. Notes Comput. Sci. 13240, 462--491 (2022; Zbl 1528.68088) Full Text: DOI arXiv
Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank Polarized subtyping. (English) Zbl 1528.68082 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 431-461 (2022). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{Z. Lakhani} et al., Lect. Notes Comput. Sci. 13240, 431--461 (2022; Zbl 1528.68082) Full Text: DOI arXiv
Choudhury, Pritam; Eades, Harley III; Weirich, Stephanie A dependent dependency calculus. (English) Zbl 1528.68078 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 403-430 (2022). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{P. Choudhury} et al., Lect. Notes Comput. Sci. 13240, 403--430 (2022; Zbl 1528.68078) Full Text: DOI arXiv
Wood, James; Atkey, Robert A framework for substructural type systems. (English) Zbl 1528.68087 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 376-402 (2022). MSC: 68N30 03B70 68N18 68V20 PDFBibTeX XMLCite \textit{J. Wood} and \textit{R. Atkey}, Lect. Notes Comput. Sci. 13240, 376--402 (2022; Zbl 1528.68087) Full Text: DOI
Marshall, Daniel; Vollmer, Michael; Orchard, Dominic Linearity and uniqueness: an entente cordiale. (English) Zbl 1528.68084 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 346-375 (2022). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{D. Marshall} et al., Lect. Notes Comput. Sci. 13240, 346--375 (2022; Zbl 1528.68084) Full Text: DOI
Zhou, Yaoda; Oliveira, Bruno C. d. S.; Fan, Andong A calculus with recursive types, record concatenation and subtyping. (English) Zbl 1524.68107 Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 175-195 (2022). MSC: 68N30 68N18 68V20 PDFBibTeX XMLCite \textit{Y. Zhou} et al., Lect. Notes Comput. Sci. 13658, 175--195 (2022; Zbl 1524.68107) Full Text: DOI
Xue, Xu; Oliveira, Bruno C. d. S.; Xie, Ningning Applicative intersection types. (English) Zbl 1524.68106 Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 155-174 (2022). MSC: 68N30 68N18 68V20 PDFBibTeX XMLCite \textit{X. Xue} et al., Lect. Notes Comput. Sci. 13658, 155--174 (2022; Zbl 1524.68106) Full Text: DOI
Djordjević, Bogdan D. The equation \(AX-XB=C\) without a unique solution: the ambiguity which benefits applications. (English) Zbl 07715894 Djordjević, Dragan S. (ed.), Topics in operator theory. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 20(28), 395-442 (2022). MSC: 47-02 47A62 47A53 47A60 47L30 46G05 PDFBibTeX XMLCite \textit{B. D. Djordjević}, Zb. Rad. (Beogr.) 20, 395--442 (2022; Zbl 07715894) Full Text: Link
Dinčić, Nebojša Č.; Djordjević, Dragan S. Survey on reverse order laws for the Moore-Penrose inverse of Hilbert space operators. (English) Zbl 07715890 Djordjević, Dragan S. (ed.), Topics in operator theory. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 20(28), 217-280 (2022). MSC: 47-02 15A09 47A56 47A60 47B15 PDFBibTeX XMLCite \textit{N. Č. Dinčić} and \textit{D. S. Djordjević}, Zb. Rad. (Beogr.) 20, 217--280 (2022; Zbl 07715890) Full Text: Link
Osaka, Hiroyuki; Wada, Shuhei Perspectives, means and their inequalities. (English) Zbl 07678100 Aron, Richard M. (ed.) et al., Operator and norm inequalities and related topics. Cham: Birkhäuser. Trends Math., 131-178 (2022). MSC: 47A30 47A50 47A63 46B20 47B35 PDFBibTeX XMLCite \textit{H. Osaka} and \textit{S. Wada}, in: Operator and norm inequalities and related topics. Cham: Birkhäuser. 131--178 (2022; Zbl 07678100) Full Text: DOI
Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian Automated expected amortised cost analysis of probabilistic data structures. (English) Zbl 1514.68049 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 70-91 (2022). MSC: 68P05 68N18 PDFBibTeX XMLCite \textit{L. Leutgeb} et al., Lect. Notes Comput. Sci. 13372, 70--91 (2022; Zbl 1514.68049) Full Text: DOI arXiv
Meseguer, José; Skeirik, Stephen On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022). MSC: 68N30 68N18 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 13252, 191--211 (2022; Zbl 1514.68039) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Z. Yang} et al., Lect. Notes Comput. Sci. 13215, 243--261 (2022; Zbl 07570124) Full Text: DOI
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 PDFBibTeX XMLCite \textit{H. Wang} and \textit{G. Gupta}, Lect. Notes Comput. Sci. 13215, 224--242 (2022; Zbl 07570123) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{G. Vidal}, Lect. Notes Comput. Sci. 13215, 205--223 (2022; Zbl 07570122) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{B. van den Berg} and \textit{T. Schrijvers}, Lect. Notes Comput. Sci. 13215, 186--204 (2022; Zbl 07570121) Full Text: DOI
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 PDFBibTeX XMLCite \textit{B. Shbita} and \textit{A. Moitra}, Lect. Notes Comput. Sci. 13215, 171--185 (2022; Zbl 07570120) Full Text: DOI
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 PDFBibTeX XMLCite \textit{D. Rozplokhas} and \textit{D. Boulytchev}, Lect. Notes Comput. Sci. 13215, 152--170 (2022; Zbl 07570119) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Masuda} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 13215, 133--151 (2022; Zbl 07570118) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Nuno Macedo} et al., Lect. Notes Comput. Sci. 13215, 112--132 (2022; Zbl 07570117) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. O. G. Krijnen} et al., Lect. Notes Comput. Sci. 13215, 94--111 (2022; Zbl 07570116) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{O. Kiselyov}, Lect. Notes Comput. Sci. 13215, 75--93 (2022; Zbl 07570115) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Hirata} et al., Lect. Notes Comput. Sci. 13215, 57--74 (2022; Zbl 07570114) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Faisal Al Ameen} et al., Lect. Notes Comput. Sci. 13215, 39--56 (2022; Zbl 07570113) Full Text: DOI
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 PDFBibTeX XMLCite \textit{S. Chen} and \textit{M. R. Noor}, Lect. Notes Comput. Sci. 13215, 19--38 (2022; Zbl 07570112) Full Text: DOI
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 PDFBibTeX XMLCite \textit{D. Ancona} et al., Lect. Notes Comput. Sci. 13215, 1--18 (2022; Zbl 07570111) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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: DOI Link
Fowler, Simon; Kokke, Wen; Dardha, Ornela; Lindley, Sam; Morris, J. Garrett Separating sessions smoothly. (English) Zbl 1527.68033 Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 36, 18 p. (2021). MSC: 68N18 03B40 03B70 03F52 68Q85 PDFBibTeX XMLCite \textit{S. Fowler} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 36, 18 p. (2021; Zbl 1527.68033) Full Text: DOI arXiv
van den Berg, Birthe; Schrijvers, Tom; Poulsen, Casper Bach; Wu, Nicolas Latent effects for reusable language components. (English) Zbl 1520.68021 Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 182-201 (2021). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{B. van den Berg} et al., Lect. Notes Comput. Sci. 13008, 182--201 (2021; Zbl 1520.68021) Full Text: DOI arXiv
Ohori, Atsushi; Ueno, Katsuhiro A compilation method for dynamic typing in ML. (English) Zbl 1520.68024 Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 140-159 (2021). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Ohori} and \textit{K. Ueno}, Lect. Notes Comput. Sci. 13008, 140--159 (2021; Zbl 1520.68024) Full Text: DOI
Gil’, Michael Perturbations of operator functions: a survey. (English) Zbl 07598486 Parasidis, Ioannis. N. (ed.) et al., Mathematical analysis in interdisciplinary research. Cham: Springer. Springer Optim. Appl. 179, 335-380 (2021). Reviewer: Yaudat Sultanaev (Ufa) MSC: 47A56 47A55 47A60 46B42 47G10 47-02 PDFBibTeX XMLCite \textit{M. Gil'}, Springer Optim. Appl. 179, 335--380 (2021; Zbl 07598486) Full Text: DOI
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 PDFBibTeX XMLCite \textit{L. Franceschino} et al., Lect. Notes Comput. Sci. 12913, 124--143 (2021; Zbl 1497.68102) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{L. Leutgeb} et al., Lect. Notes Comput. Sci. 12760, 99--122 (2021; Zbl 1493.68129) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Farzan} and \textit{V. Nicolet}, Lect. Notes Comput. Sci. 12759, 832--855 (2021; Zbl 1493.68107) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Q. Hu} et al., Lect. Notes Comput. Sci. 12759, 783--807 (2021; Zbl 1493.68112) Full Text: DOI arXiv
Š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 PDFBibTeX XMLCite \textit{V. Šefl}, Lect. Notes Comput. Sci. 12834, 95--115 (2021; Zbl 1490.68076) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Y. M. Motara}, Lect. Notes Comput. Sci. 12834, 69--94 (2021; Zbl 1490.68075) Full Text: DOI
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 PDFBibTeX XMLCite \textit{W. Kokke} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 100--119 (2021; Zbl 1490.68141) Full Text: DOI arXiv Link
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
Meichsner, Jan; Seifert, Christian On some consequences of the solvability of the Caffarelli-Silvestre extension problem. (English) Zbl 1494.47078 Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 441-453 (2021). Reviewer: Luong Vu Trong (Hanoi) MSC: 47D06 47A60 34G10 26A33 47B12 PDFBibTeX XMLCite \textit{J. Meichsner} and \textit{C. Seifert}, Oper. Theory: Adv. Appl. 282, 441--453 (2021; Zbl 1494.47078) Full Text: DOI
Gallardo-Gutiérrez, Eva A.; Monsalve-López, Miguel A closer look at Bishop operators. (English) Zbl 1494.47010 Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 255-281 (2021). Reviewer: Sophie Grivaux (Villeneuve d’Ascq) MSC: 47A15 47B37 47B38 47-02 PDFBibTeX XMLCite \textit{E. A. Gallardo-Gutiérrez} and \textit{M. Monsalve-López}, Oper. Theory: Adv. Appl. 282, 255--281 (2021; Zbl 1494.47010) Full Text: DOI
Patnaik, Sasmita; Weiss, Gary Interplay of simple and selfadjoint-ideal semigroups in \(B(H)\): a survey. (English) Zbl 07730658 Bercovici, Hari (ed.) et al., #operatortheory27. Conference proceedings, Timişoara, Romania, July 2–6, 2018. Bucharest: The Theta Foundation. Theta Ser. Adv. Math. 23, 215-224 (2020). MSC: 47B15 20M12 47-02 47D03 47L20 PDFBibTeX XMLCite \textit{S. Patnaik} and \textit{G. Weiss}, Theta Ser. Adv. Math. 23, 215--224 (2020; Zbl 07730658)
Loreaux, Jireh; Weiss, Gary On diagonals of operators: selfadjoint, normal and other classes. (English) Zbl 07730657 Bercovici, Hari (ed.) et al., #operatortheory27. Conference proceedings, Timişoara, Romania, July 2–6, 2018. Bucharest: The Theta Foundation. Theta Ser. Adv. Math. 23, 193-214 (2020). MSC: 47B15 47-02 47A10 47A12 47B07 PDFBibTeX XMLCite \textit{J. Loreaux} and \textit{G. Weiss}, Theta Ser. Adv. Math. 23, 193--214 (2020; Zbl 07730657) Full Text: arXiv
Dole, Kalyani; Gupta, Ashutosh; Krishna, Shankara Narayanan Robust controller synthesis for duration calculus. (English) Zbl 1517.68230 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 429-446 (2020). MSC: 68Q60 03B44 93B50 93C30 PDFBibTeX XMLCite \textit{K. Dole} et al., Lect. Notes Comput. Sci. 12302, 429--446 (2020; Zbl 1517.68230) 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
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
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
Esterle, Jean On the generation of Arveson weakly continuous semigroups. (English) Zbl 1494.47075 Filali, Mahmoud (ed.), Banach algebras and applications. Proceedings of the 23rd international conference, University of Oulu, Finland, November 3–11, 2017. Berlin: De Gruyter. De Gruyter Proc. Math., 57-93 (2020). MSC: 47D03 47A60 46J40 46H20 PDFBibTeX XMLCite \textit{J. Esterle}, in: Banach algebras and applications. Proceedings of the 23rd international conference, University of Oulu, Finland, November 3--11, 2017. Berlin: De Gruyter. 57--93 (2020; Zbl 1494.47075) Full Text: DOI arXiv
Estaremi, Y. The composition of conditional expectation and multiplication operators. (English) Zbl 1494.47057 Filali, Mahmoud (ed.), Banach algebras and applications. Proceedings of the 23rd international conference, University of Oulu, Finland, November 3–11, 2017. Berlin: De Gruyter. De Gruyter Proc. Math., 47-56 (2020). MSC: 47B38 47B15 47B20 47A10 PDFBibTeX XMLCite \textit{Y. Estaremi}, in: Banach algebras and applications. Proceedings of the 23rd international conference, University of Oulu, Finland, November 3--11, 2017. Berlin: De Gruyter. 47--56 (2020; Zbl 1494.47057) Full Text: DOI
Chilin, Vladimir I.; Masharipova, Sofya S. Functional calculus on algebras of operators generated by a self-adjoint operator in Pontryagin space \(\Pi_1\). III: Spectral theorems. (English) Zbl 1494.47067 Abel, Mati (ed.) et al., Topological algebras and their applications. Proceedings of the 9th international conference, ICTAA-2015, Holon, Israel, May 18–22, 2015. Wilmington, DE: Academic Services. 145-157 (2020). MSC: 47B50 47L30 PDFBibTeX XMLCite \textit{V. I. Chilin} and \textit{S. S. Masharipova}, in: Topological algebras and their applications. Proceedings of the 9th international conference, ICTAA-2015, Holon, Israel, May 18--22, 2015. Wilmington, DE: Academic Services. 145--157 (2020; Zbl 1494.47067)
Abel, Mart; Ntumba, Patrice P. On the universal problem for derivations of sheaves. (English) Zbl 1476.13032 Abel, Mati (ed.) et al., Topological algebras and their applications. Proceedings of the 9th international conference, ICTAA-2015, Holon, Israel, May 18–22, 2015. Wilmington, DE: Academic Services. 89-95 (2020). MSC: 13N15 16Wxx 15A69 14F06 46M20 PDFBibTeX XMLCite \textit{M. Abel} and \textit{P. P. Ntumba}, in: Topological algebras and their applications. Proceedings of the 9th international conference, ICTAA-2015, Holon, Israel, May 18--22, 2015. Wilmington, DE: Academic Services. 89--95 (2020; Zbl 1476.13032)
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