Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Erik Burman, Lauri Oksanen, Ziyao Zhao |
Computational unique continuation with finite dimensional Neumann trace. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Conor John Williams, James Elliott |
Libfork: portable continuation-stealing with stackless coroutines. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Xin-long Luo 0001, Hang Xiao, Sen Zhang |
The Regularization Continuation Method for Optimization Problems with Nonlinear Equality Constraints. |
J. Sci. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Giovanni Angiulli, Mario Versaci, Salvatore Calcagno 0001, Paolo Di Barba |
Analytic Continuation, Phase Unwrapping, and Retrieval of the Refractive Index of Metamaterials from S-Parameters. |
Sensors |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Philip Korman, Dieter S. Schmidt |
Continuation of global solution curves using global parameters. |
J. Comput. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman |
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. |
ESOP (2) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Bo Sun 0006, Hang Li, Jun He 0009, Yinghui Zhang 0004 |
Supervised Contrastive Learned Deep Model for Question Continuation Evaluation. |
IEEE Trans. Hum. Mach. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Josef Kaufmann, Karsten Held |
ana_cont: Python package for analytic continuation. |
Comput. Phys. Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Li Huang |
ACFlow: An open source toolkit for analytic continuation of quantum Monte Carlo data. |
Comput. Phys. Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Montie Avery, Matt Holzer, Arnd Scheel |
Pushed-to-Pulled Front Transitions: Continuation, Speed Scalings, and Hidden Monotonicty. |
J. Nonlinear Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chong Zhang, Pengbo Qin, Qingtian Lü, Wenna Zhou, Jiayong Yan |
Two New Methods Based on Implicit Expressions and Corresponding Predictor-Correctors for Gravity Anomaly Downward Continuation and Their Comparison. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dimitrios A. Natsiopoulos, Elisavet Mamagiannou, Eleftherios Pitenis, George S. Vergos, Ilias N. Tziavos |
GOCE Downward Continuation to the Earth's Surface and Improvements to Local Geoid Modeling by FFT and LSC. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Erik Burman, Guillaume Delay, Alexandre Ern |
The Unique Continuation Problem for the Heat Equation Discretized with a High-Order Space-Time Nonconforming Method. |
SIAM J. Numer. Anal. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Anna Dittus, Niklas Kruse, Ingo Barke, Sylvia Speller, Jens Starke |
Detecting Stability and Bifurcation Points in Control-Based Continuation for a Physical Experiment of the Zeeman Catastrophe Machine. |
SIAM J. Appl. Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ilias Panagiotopoulos, Jens Starke, Jan Sieber, Wolfram Just |
Continuation with Noninvasive Control Schemes: Revealing Unstable States in a Pedestrian Evacuation Scenario. |
SIAM J. Appl. Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Denis Nikitin, Carlos Canudas-de-Wit, Paolo Frasca, Ursula Ebels |
Synchronization of Spin-Torque Oscillators via Continuation Method. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aleksandar Ivanovski, Milos Jovanovik, Riste Stojanov, Dimitar Trajanov |
Knowledge Graph Based Recommender for Automatic Playlist Continuation. |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ben Mansour Dia |
A Continuation Method in Bayesian Inference. |
SIAM/ASA J. Uncertain. Quantification |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Naomi Schneider, Volker Michel, Nico Sneeuw |
High-dimensional experiments for the downward continuation using the LRFMP algorithm. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xi Lin 0001, Zhiyuan Yang 0003, Xiaoyuan Zhang, Qingfu Zhang 0001 |
Continuation Path Learning for Homotopy Optimization. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | S. Léger, P. Larocque, D. LeBlanc |
Improved Moore-Penrose continuation algorithm for the computation of problems with critical points. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chen Wang, Minpeng Liao, Zhongqiang Huang, Jinliang Lu, Junhong Wu, Yuchen Liu 0007, Chengqing Zong, Jiajun Zhang 0001 |
BLSP: Bootstrapping Language-Speech Pre-training via Behavior Alignment of Continuation Writing. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman |
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Adrien Bolland, Gilles Louppe, Damien Ernst |
Policy Gradient Algorithms Implicitly Optimize by Continuation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Qijiong Liu, Jieming Zhu, Jiahao Wu 0004, Tiandeng Wu, Zhenhua Dong, Xiao-Ming Wu 0003 |
FANS: Fast Non-Autoregressive Sequence Generation for Item List Continuation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Erik Burman, Mihai Nechita, Lauri Oksanen |
Optimal finite element approximation of unique continuation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michael Lan, Fazl Barez |
Locating Cross-Task Sequence Continuation Circuits in Transformers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Soumi Maiti, Yifan Peng, Shukjae Choi, Jee-weon Jung, Xuankai Chang, Shinji Watanabe 0001 |
Voxtlm: unified decoder-only models for consolidating speech recognition/synthesis and speech/text continuation tasks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shutong Ding, Tianyu Cui, Jingya Wang, Ye Shi 0001 |
Two Sides of The Same Coin: Bridging Deep Equilibrium Models and Neural ODEs via Homotopy Continuation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Walid Bendada, Guillaume Salha-Galvan, Thomas Bouabça, Tristan Cazenave |
A Scalable Framework for Automatic Playlist Continuation on Music Streaming Services. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mohan Zhao, Kirill Serkh |
A Continuation Method for Fitting a Bandlimited Curve to Points in the Plane. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Augustina C. Amakor, Konstantin Sonntag, Sebastian Peitz |
A multiobjective continuation method to compute the regularization path of deep neural networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Viktoriia Borovik, Paul Breiding |
A short proof for the parameter continuation theorem. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Erik Burman, Janosch Preuß |
Unique continuation for an elliptic interface problem using unfitted isoparametric finite elements. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Erik Burman, Lauri Oksanen |
Finite element approximation of unique continuation of functions with finite dimensional trace. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ignace Loris, Simone Rebegoldi |
Convergence analysis of a primal-dual optimization-by-continuation algorithm. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Duguet, Andreas Ekström, Richard J. Furnstahl, Sebastian König, Dean Lee |
Eigenvector Continuation and Projection-Based Emulators. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xin-long Luo 0001, Hang Xiao, Sen Zhang |
The regularization continuation method for optimization problems with nonlinear equality constraints. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | A. Dutta, A. K. Das |
Homotopy Continuation Method for Discounted Zero-Sum Stochastic Game with ARAT Structure. |
IGTR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Krzysztof Gdawiec, Ioannis K. Argyros, Sania Qureshi, Amanullah Soomro |
An optimal homotopy continuation method: Convergence and visual analysis. |
J. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Oleg Yu. Imanuvilov, Hongyu Liu 0001, Masahiro Yamamoto |
Unique continuation for a mean field game system. |
Appl. Math. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christian Knoll 0002, Adrian Weller, Franz Pernkopf |
Self-Guided Belief Propagation - A Homotopy Continuation Method. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yoshihiro Oyama, Hirotaka Kokubo |
Forced continuation of malware execution beyond exceptions. |
J. Comput. Virol. Hacking Tech. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuandong Ma, Boyuan Wang, Hezheng Lin, Chun Liu 0004, Mengjie Hu, Qing Song 0006 |
A continuation method for image registration based on dynamic adaptive kernel. |
Neural Networks |
2023 |
DBLP DOI BibTeX RDF |
|
15 | You-Wei Wen, Kexin Li, Hefeng Chen |
Accelerated matrix completion algorithm using continuation strategy and randomized SVD. |
J. Comput. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Duan Li |
Theoretical data for "A stable downward continuation method for processing gravity data using the equivalent sources with compactness and smoothing constraints". |
|
2023 |
DOI RDF |
|
15 | Qijiong Liu, Jieming Zhu, Jiahao Wu 0004, Tiandeng Wu, Zhenhua Dong, Xiao-Ming Wu 0003 |
FANS: Fast Non-Autoregressive Sequence Generation for Item List Continuation. |
WWW |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bernardo 0001, Andrea Esposito 0006 |
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
15 | Yashbir Singh, Colleen Farrelly, Quincy A. Hathaway, Aakriti R. Carrubba, Deepa Deepa, Michael Friebe, Ashok Chaudhary, Shadi Atalls, Wathiq Mansoor, Yassine Himeur |
The Critical Role of Homotopy Continuation in Robotic-Assisted Surgery - Future Perspective. |
SNAMS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Walid Bendada, Guillaume Salha-Galvan, Thomas Bouabça, Tristan Cazenave |
A Scalable Framework for Automatic Playlist Continuation on Music Streaming Services. |
SIGIR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shutong Ding, Tianyu Cui, Jingya Wang, Ye Shi 0001 |
Two Sides of The Same Coin: Bridging Deep Equilibrium Models and Neural ODEs via Homotopy Continuation. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
15 | Toshi-Hiro Ito, Hiroaki Shiokawa |
An Effective Graph-based Music Recommendation Algorithm for Automatic Playlist Continuation. |
ASONAM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xi Lin 0001, Zhiyuan Yang 0003, Xiaoyuan Zhang, Qingfu Zhang 0001 |
Continuation Path Learning for Homotopy Optimization. |
ICML |
2023 |
DBLP BibTeX RDF |
|
15 | Siyu Liu, Yuting Wang 0001 |
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Igor Krivenko, Andrey Mishchenko |
TRIQS/SOM 2.0: Implementation of the stochastic optimization with consistent constraints for analytic continuation. |
Comput. Phys. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mauro Fontana, Pablo D. Mininni, Oscar P. Bruno, Pablo Dmitruk |
Vector potential-based MHD solver for non-periodic flows using Fourier continuation expansions. |
Comput. Phys. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianli Zhao, Tianheng Zhang, Qiuxia Sun, Huan Huo, Maoguo Gong |
A novel initialization method of fixed point continuation for recommendation systems. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ardion D. Beldad, Sabrina M. Hegner |
Running frequently with an app to be fantastic! Determinants of Runtastic usage continuation intention among German users. |
Int. J. Mob. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Vess L. Johnson, Richard W. Woolridge, Angelina I. T. Kiser, Katia Guerra |
The Impact of Coproduction Resentment on Continuation Intention. |
J. Comput. Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Axel Séguin, Daniel Kressner |
Continuation Methods for Riemannian Optimization. |
SIAM J. Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ying Gu, Chenchen Song, Yifan Zhong, Ubaldo Comite |
The Impact of Teacher Support and Learning Interaction on Online Learning Continuation Willingness: A Flow Experience Perspective. |
Int. J. Emerg. Technol. Learn. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bucci, Federico Poloni |
A continuation method for computing the multilinear PageRank. |
Numer. Linear Algebra Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kevin E. M. Church, Gabriel William Duchesne |
Rigorous continuation of periodic solutions for impulsive delay differential equations. |
Appl. Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ze Wang 0004, Qi Zhang, Dixiang Chen, Zhongyan Liu, Mengchun Pan, Jiafei Hu, Zhuo Chen 0005, Yujing Xu, Zhenxiong Wang, Xintian Ren |
A New Potential-Field Downward Continuation Iteration Method Based on Adaptive Filtering. |
IEEE Trans. Geosci. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianbo Cui, Luca Dieci, Haomin Zhou 0001 |
A Continuation Multiple Shooting Method for Wasserstein Geodesic Equation. |
SIAM J. Sci. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Oscar P. Bruno, Jagabandhu Paul |
Two-Dimensional Fourier Continuation and Applications. |
SIAM J. Sci. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jiahui Luo, Zhigang Wu, Xiaoming Xu, Yanghui Chen, Zizhe Liu, Li Ming |
Forward Statics of Tensegrity Robots With Rigid Bodies Using Homotopy Continuation. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Denis Nikitin, Carlos Canudas-de-Wit, Paolo Frasca |
A Continuation Method for Large-Scale Modeling and Control: From ODEs to PDE, a Round Trip. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Misha Gromov |
Mathematics of life spaces: continuation of the 2018 large dimensions course. |
Theory Biosci. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lexing Ying |
Analytic continuation from limited noisy Matsubara data. |
J. Comput. Phys. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jeremy Gibbons |
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. |
Art Sci. Eng. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lexing Ying |
Analytic continuation from limited noisy Matsubara data. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Rory Conlin, Daniel W. Dudt, Dario Panici, Egemen Kolemen |
The DESC Stellarator Code Suite Part II: Perturbation and continuation methods. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Haydn Maust, Zongyi Li, Yixuan Wang, Daniel V. Leibovici, Oscar P. Bruno, Thomas Y. Hou 0001, Anima Anandkumar |
Fourier Continuation for Exact Derivative Computation in Physics-Informed Neural Operators. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Adyasha Maharana, Darryl Hannan, Mohit Bansal |
StoryDALL-E: Adapting Pretrained Text-to-Image Transformers for Story Continuation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Eloi Ruiz-Gironés, Xevi Roca |
Automatic penalty and degree continuation for parallel pre-conditioned mesh curving on virtual geometry. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Conti, Giorgio Gobat, Stefania Fresca, Andrea Manzoni, Attilio Frangi |
Reduced order modeling of parametrized systems through autoencoders and SINDy approach: continuation of periodic solutions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Baptiste Fest, Tommi Heikkilä, Ignace Loris, Ségolène Martin, Luca Ratti, Simone Rebegoldi, Gesa Sarnighausen |
On a fixed-point continuation method for a convex optimization problem. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Erik Burman, Janosch Preuß |
Unique continuation for the Lamé system using stabilized finite element methods. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ali Siahkoohi, Mathias Louboutin, Felix J. Herrmann |
Velocity continuation with Fourier neural operators for accelerated uncertainty quantification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Arion Pons |
Pseudospectral continuation for aeroelastic stability analysis. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Kangyu Lin, Toshiyuki Ohtsuka |
A Non-Interior-Point Continuation Method for the Optimal Control Problem with Equilibrium Constraints. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Bogdan Cmiel, Jakub Nawala, Lucjan Janowski, Krzysztof Rusek |
Generalised Score Distribution: Underdispersed Continuation of the Beta-Binomial Distribution. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | James W. Webber |
Multi-coil MRI by analytic continuation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Denis Anuprienko |
First-order continuation method for steady-state variably saturated groundwater flow modeling. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
15 | Tamal K. Dey, Michal Lipinski, Marian Mrozek, Ryan Slechta |
Tracking Dynamical Features via Continuation and Persistence. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xinlong Luo 0001, Hang Xiao, Jia-hui Lv |
Continuation Newton methods with the residual trust-region time-stepping scheme for nonlinear equations. |
Numer. Algorithms |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Katharina Bieker, Bennet Gebken, Sebastian Peitz |
On the Treatment of Optimization Problems With L1 Penalty Terms via Multiobjective Continuation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Eloi Ruiz-Gironés, Xevi Roca |
Automatic Penalty and Degree Continuation for Parallel Pre-Conditioned Mesh Curving on Virtual Geometry. |
Comput. Aided Des. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xuechao Liu, Tao Zhang 0073, Jian'an Ye, Xiang Tian, Weirui Zhang, Bin Yang 0032, Meng Dai, Canhua Xu, Feng Fu |
Fast Iterative Shrinkage-Thresholding Algorithm with Continuation for Brain Injury Monitoring Imaging Based on Electrical Impedance Tomography. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Veronica Danesi, Marco Sansottera, Simone Paleari, Tiziano Penati |
Continuation of spatially localized periodic solutions in discrete NLS lattices via normal forms. |
Commun. Nonlinear Sci. Numer. Simul. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yang Wang, Francesco Topputo |
A TFC-based homotopy continuation algorithm with application to dynamics and control problems. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Justin Miles |
On the Laplace transform of the lognormal distribution: Analytic continuation and series approximations. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Juan Yao, Ce Wang, Zhiyuan Yao, Hui Zhai |
Noise enhanced neural networks for analytic continuation. |
Mach. Learn. Sci. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Qixiang Ye, Fang Wan, Chang Liu 0047, Qingming Huang, Xiangyang Ji |
Continuation Multiple Instance Learning for Weakly and Fully Supervised Object Detection. |
IEEE Trans. Neural Networks Learn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jairo Rojas-Delgado, J. A. Jiménez, Rafael Bello 0001, José Antonio Lozano 0001 |
Hyper-parameter Optimization Using Continuation Algorithms. |
MIC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Duc H. Nguyen, Mark H. Lowenberg, Simon A. Neild |
Assessing Performance of an Extremum Seeking Controller Using Continuation Methods. |
CCTA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tamal K. Dey, Michal Lipinski, Marian Mrozek, Ryan Slechta |
Tracking Dynamical Features via Continuation and Persistence. |
SoCG |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller 0003, Klaus Ostermann |
A typed continuation-passing translation for lexical effect handlers. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|