|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1424 occurrences of 808 keywords
|
|
|
Results
Found 2517 publication records. Showing 2517 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Johann Eder |
Extending SQL with General Transitive Closure and Extreme Value Selections. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures |
14 | Mark A. Fulk |
Robust Separations in Inductive Inference |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
recursion-theoretic inductive inference, function learning, formal language |
14 | Stephen A. Cook, Bruce M. Kapron |
Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract) |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
finite type functional, simple typed while-programming language, mu -recursion, feasible functionals, length-bounded, bounded typed loop program, run times |
14 | Rob J. van Glabbeek |
Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP |
14 | Eric C. R. Hehner |
Structuring. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
data structures, recursion, language design, control structures |
14 | William W. Hooker |
On the expected lengths of sequences generated in sorting by replacement selecting. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
asymptotic expected length, meromorphic function, recursion relation, replacement selecting, sequence lengths, sorting, generating function |
13 | Maximilien Mackie |
Recursion-free modular arithmetic in the lambda-calculus. |
Inf. Process. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Kip Errett Patterson |
TOTEs and trauma: a cybernetic, extended recursion schematic for hyper vigilance. |
Kybernetes |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Weiwei Chen, Yuhang Ji, Ziyang Qi, Liping Yan, Xiang Zhao |
Automatic Determination of Set of Multivariate Basis Polynomials Based on Recursion and Application of LSPCR to High-Dimensional Uncertainty Quantification of Multi-Conductor Transmission Lines. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Linnea Persson, Anders Hansson, Bo Wahlberg |
An optimization algorithm based on forward recursion with applications to variable horizon MPC. |
Eur. J. Control |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yue Niu, Jonathan Sterling, Robert Harper 0001 |
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Stacey Jeffery, Galina Pass |
Multidimensional Quantum Walks, Recursion, and Quantum Divide & Conquer. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Gerstgrasser, Rylan Schaeffer, Apratim Dey, Rafael Rafailov, Henry Sleight, John Hughes, Tomasz Korbak, Rajashree Agrawal, Dhruv Pai, Andrey Gromov, Daniel A. Roberts, Diyi Yang, David L. Donoho, Sanmi Koyejo |
Is Model Collapse Inevitable? Breaking the Curse of Recursion by Accumulating Real and Synthetic Data. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini |
Origami: (un)folding the abstraction of recursion schemes for program synthesis. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Shizhuo Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer |
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Seth Bernstein, Paul Denny 0001, Juho Leinonen 0001, Lauren Kan, Arto Hellas, Matt Littlefield, Sami Sarsa, Stephen MacNeil |
"Like a Nesting Doll": Analyzing Recursion Analogies Generated by CS Students using Large Language Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler |
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. |
ACM Trans. Database Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Florian Plötzky, Niklas Kiehne, Wolf-Tilo Balke |
Lost in Recursion: Mining Rich Event Semantics in Knowledge Graphs. |
WebSci |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Sverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su 0001 |
Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. |
SIGCSE (1) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Eremondi |
Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments. |
CPP |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump |
A Type-Based Approach to Divide-and-Conquer Recursion in Coq. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Daan Leijen, Anton Lorenzen |
Tail Recursion Modulo Context: An Equational Approach. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Levon Aslanyan, Karen Gishyan, Hasmik Sahakyan |
Target Class Classification Recursion Preliminaries. |
Balt. J. Mod. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Andong Fan, Lionel Parreaux |
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). |
Dagstuhl Artifacts Ser. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang |
Specification transformation method for functional program generation based on partition-recursion refinement rule. |
Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kang Sun, Manyun Huang, Zhinong Wei, Jingtao Zhao, Guoqiang Sun |
A Real-Time Recursion Correction Hybrid Linear State Estimator Using Stream Processing. |
IEEE Trans. Ind. Informatics |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sakyo Hashimoto, Keigo Takeuchi |
Simplification and Accurate Implementation of State Evolution Recursion for Conjugate Gradient. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Dongzhou Huang |
On a modified version of the Lindley recursion. |
Queueing Syst. Theory Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Atri Rudra |
Technical Perspective: (Pre-) Semirings Come to the Recursion Party. |
SIGMOD Rec. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rémi Lacombe, Sébastien Gros, Nikolce Murgovski, Balázs Kulcsár |
Distributed Eco-Driving Control of a Platoon of Electric Vehicles Through Riccati Recursion. |
IEEE Trans. Intell. Transp. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Derek Levinson |
John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345. |
Bull. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Weinan Zhang 0004, Pingping Zeng, Yue Kuen Kwok |
Efficient recursion-quadrature algorithms for pricing Asian options and variance derivatives under stochastic volatility and Lévy jumps. |
Oper. Res. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Lin Li, Rui Li, Yajun Ha |
A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tomoyuki Yamakami |
Elementary Quantum Recursion Schemes That Capture Quantum Polylogarithmic Time Computability of Quantum Functions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
Simulating Logspace-Recursion with Logarithmic Quantifier Depth. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ilia Shumailov, Zakhar Shumaylov, Yiren Zhao, Yarin Gal, Nicolas Papernot, Ross J. Anderson |
The Curse of Recursion: Training on Generated Data Makes Models Forget. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Maksymilian Dabkowski, Gasper Begus |
Large language models and (non-)linguistic recursion. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir |
Complexity results for modal logic with recursion via translations and tableaux. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Eremondi |
Strictly Monotone Brouwer Trees for Well-founded Recursion Over Multiple Arguments. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jishnu Ray Chowdhury, Cornelia Caragea |
Efficient Beam Tree Recursion. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Soochan Lee, Gunhee Kim |
Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
Tail recursion transformation for invertible functions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joao Victor de Souza, Victor H. R. Nogueira, Alessandro S. Nascimento |
Ligand binding free energy evaluation by Monte Carlo Recursion. |
Comput. Biol. Chem. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shlomo Engelberg |
Implementing Moving Average Filters Using Recursion [Tips & Tricks]. |
IEEE Signal Process. Mag. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Patrick Uftring |
Weak and strong versions of Effective Transfinite Recursion. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sai Deng, Bo Du |
zkTree: a zk recursion tree with ZKP membership proofs. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
13 | Andrei Popescu 0001 |
Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
13 | Petr Vojcák |
Non-Abelian covering and new recursion operators for the 4D Martínez Alonso-Shabat equation. |
Commun. Nonlinear Sci. Numer. Simul. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ryo Hatano, Katsuhiko Sano |
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Paul Downen, Zena M. Ariola |
Classical (co)recursion: Mechanics. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Bahareh Afshari, Dominik Wehr |
Exact bounds for acyclic higher-order recursion schemes. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hui Zhang, Zhengpeng Yuan, Naihua Xiu |
Recursion Newton-Like Algorithm for l2,0-ReLU Deep Neural Networks. |
IEEE Trans. Neural Networks Learn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
Tail Recursion Transformation for Invertible Functions. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alexandre Belling, Azam Soleimanian, Olivier Bégassat |
Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification. |
CCS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
Simulating Logspace-Recursion with Logarithmic Quantifier Depth. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Valentin Blot |
Diller-Nahm Bar Recursion. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Andong Fan, Lionel Parreaux |
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hongbin Wu, Feixiong Chen, Zhenguo Shao, Yiwei Chen |
Multi-energy Flow Recursion Method for Integrated Electricity-Gas System. |
iSPEC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jishnu Ray Chowdhury, Cornelia Caragea |
Efficient Beam Tree Recursion. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
13 | Henning Basold, Tanjona Ralaivaosaona |
Composition and Recursion for Causal Structures. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Behrooz Tahmasebi, Derek Lim, Stefanie Jegelka |
The Power of Recursion in Graph Neural Networks for Counting Substructures. |
AISTATS |
2023 |
DBLP BibTeX RDF |
|
13 | Soochan Lee, Gunhee Kim |
Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Models. |
ACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Bolei Di, Andrew G. Lamperski |
Newton's Method, Bellman Recursion and Differential Dynamic Programming for Unconstrained Nonlinear Dynamic Games. |
Dyn. Games Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yizhou Zhang 0001, Nada Amin |
Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bergfinnur Durhuus, Angelo Lucia |
Recursion relations for chromatic coefficients for graphs and hypergraphs. |
Discuss. Math. Graph Theory |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dongjie Liu, Chein-Shan Liu |
Two-point generalized Hermite interpolation: Double-weight function and functional recursion methods for solving nonlinear equations. |
Math. Comput. Simul. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yang Wang 0006, Min Li, Hao Dai, Kenneth B. Kent, Kejiang Ye, Chengzhong Xu 0001 |
Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions. |
IEEE Trans. Computers |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wolfgang Dvorák, Markus Ulbricht 0001, Stefan Woltran |
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. |
J. Artif. Intell. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gordon D. Plotkin |
Recursion does not always help. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jing Yang 0035, Fang-Wei Fu 0001 |
Post-quantum Multi-stage Secret Sharing Schemes using Inhomogeneous Linear Recursion and Ajtai's Function. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov 0002, Maxim Stepanov |
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Matache, Sean K. Moss, Sam Staton |
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir |
Complexity through Translations for Modal Logic with Recursion. |
GandALF |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhixuan Yang, Nicolas Wu |
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | David Barozzini, Pawel Parys, Jan Wroblewski |
Unboundedness for Recursion Schemes: A Simpler Type System. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ji Zhao 0017, Yuzong Mu, Yanping Qiao, Qiang Li 0034 |
Newton Recursion Based Random Data-Reusing Generalized Maximum Correntropy Criterion Adaptive Filtering Algorithm. |
Entropy |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Alexandre Belling, Azam Soleimanian, Olivier Bégassat |
Recursion over Public-Coin Interactive Proof Systems; Faster Hash Verification. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
13 | Mikhail B. Sheftel, D. Yazici |
Recursion operators and bi-Hamiltonian representations of cubic evolutionary (2+1)-dimensional systems. |
Commun. Nonlinear Sci. Numer. Simul. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir |
Axiomatizing recursion-free, regular monitors. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem |
Implicit recursion-theoretic characterizations of counting classes. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tahani Aljohani, Alexandra I. Cristea, Laila Alrajhi |
Bi-directional Mechanism for Recursion Algorithms: A Case Study on Gender Identification in MOOCs. |
AIED (2) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tomoyuki Yamakami |
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhixuan Yang, Nicolas Wu |
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Matache, Sean K. Moss, Sam Staton |
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Valentin Blot |
A direct computational interpretation of second-order arithmetic via update recursion. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | David Barozzini, Pawel Parys, Jan Wroblewski |
Unboundedness for Recursion Schemes: A Simpler Type System. |
ICALP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sotaro Katayama, Toshiyuki Ohtsuka |
Efficient Riccati recursion for optimal control problems with pure-state equality constraints. |
ACC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Benedek Nagy |
From Finite Automata to Fractal Automata - The Power of Recursion. |
MCU |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Natalie Kiesler |
Mental Models of Recursion: A Secondary Analysis of Novice Learners' Steps and Errors in Java Exercises. |
PPIG |
2022 |
DBLP BibTeX RDF |
|
13 | Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler |
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. |
PODS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sean Mackay |
What Does Literature Tell Us About Recursion? |
SIGCSE (2) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Azadeh Farzan, Danya Lette, Victor Nicolet |
Recursion synthesis with unrealizability witnesses. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Rusi P. Mody, Anuradha Laxminarayan, Jayant Kirtane |
Recursion: Squeezing the Infinite into the Finite. |
FIE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro |
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jintao Zhang, Xiao Sun 0003, Yuanlin Li |
Mining Syntactic Relationships via Recursion and Wandering on A Dependency Tree for Aspect-Based Sentiment Analysis. |
IJCNN |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andong Fan |
Simple Extensible Programming through Precisely-Typed Open Recursion. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2517 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|