The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for handlers with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1992 (16) 1993-1996 (19) 1997-1999 (21) 2000-2001 (19) 2002 (17) 2003 (16) 2004-2005 (32) 2006 (27) 2007 (22) 2008 (30) 2009 (19) 2010-2012 (17) 2013-2014 (17) 2015-2016 (20) 2017-2018 (17) 2019-2020 (21) 2021-2022 (22) 2023 (18) 2024 (3)
Publication types (Num. hits)
article(88) incollection(2) inproceedings(278) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 326 occurrences of 259 keywords

Results
Found 373 publication records. Showing 373 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
104MinSeong Kim, Andy J. Wellings An efficient and predictable implementation of asynchronous event handling in the RTSJ. Search on Bibsonomy JTRES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
81MinSeong Kim, Andy J. Wellings Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. Search on Bibsonomy JTRES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
79Binoy Ravindran, Edward Curley, E. Douglas Jensen On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
69Andy J. Wellings, Alan Burns 0001 Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Kiran Pamnany, John Jannotti Elyze: enabling safe parallelism in event-driven servers. Search on Bibsonomy PASTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency scheduling, static analysis
58Yoonki Song, Dongsoo Han Exception Specification and Handling in Workflow Systems. Search on Bibsonomy APWeb The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
58Raoul Bhoedjang, Koen Langendoen Friendly and Efficient Message Handling. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
56Steven P. Reiss Dynamic detection of event handlers. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF event handler, monitoring, trace analysis, dynamic instrumentation
56Eunhoe Kim, Jaeyoung Choi Design and Implementation of the Context Handlers in a Ubiquitous Computing Environment. Search on Bibsonomy ICCSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Ada Gavrilovska, Kenneth Mackenzie, Karsten Schwan, Austen McDonald Stream Handlers: Application-Specific Message Services on Attached Network Processors. Search on Bibsonomy Hot Interconnects The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Stefan Berger, Scott McFaddin, Carl Binding, Christian Hörtnagl, Anand Ranganathan Towards Pluggable Discovery Frameworks for Mobile and Pervasive Applications. Search on Bibsonomy Mobile Data Management The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Christophe Dony A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation. Search on Bibsonomy Advances in Exception Handling Techniques The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation. Search on Bibsonomy PPoPP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
46Christophe Dony An Object-Oriented Exception Handling System for an Object-Oriented Language. Search on Bibsonomy ECOOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Fault-tolerant encapsulations, Resumption model, Object-oriented programming, Exception handling, Debugging environments
44Gordon D. Plotkin, Matija Pretnar Handlers of Algebraic Effects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Rania Khalaf, Dieter Roller 0001, Frank Leymann Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Workflow, Transactions, Compensation, WS-BPEL, Error handling
44Matthias Blume, Umut A. Acar, Wonseok Chae Exception Handlers as Extensible Cases. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Beytullah Yildiz, Geoffrey C. Fox, Shrideep Pallickara An Orchestration for Distributed Web Service Handlers. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web Service Handler, Web Service, Concurrency, Orchestration
44Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder Execution time limitation of interrupt handlers in a Java operating system. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Paulo de Vilhena Proof of Programs with Effect Handlers. (Preuve de Programmes avec Effect Handlers). Search on Bibsonomy 2022   RDF
42Ningning Xie, Daan Leijen Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Daan Leijen First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers. Search on Bibsonomy TyDe@ICFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Jirka Marsík Effects and Handlers in Natural Language. (Les effects et les handlers dans le langage naturel). Search on Bibsonomy 2016   RDF
37Deven Shah, Ashish Mangal, Mayank Agarwal, Mahendra Mehra, Tushar Dave, Dhiren R. Patel Protecting Global SOA from DoS and Other Security Threats. Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Global SOA, Handlers, Security, Simulation, Web Services, SOA, DoS, Denial of Service
37Aamer Jaleel, Bruce L. Jacob In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs). Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
37Klaus E. Schauser, Chris J. Scheiman, J. Mitchell Ferguson, Paul Z. Kolano Exploiting the Capabilities of Communications Co-Processors. Search on Bibsonomy IPPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF inter-computer links, communications coprocessor architecture, dedicated hardware support, user-level message handlers, Split-C, message handling code, Meiko CS-2 platform, synchronization, parallel architectures, local area networks, synchronisation, flexibility, coprocessors, computational power, massively parallel processors, workstation networks, active messages, electronic messaging
37Martin Adelantado, Frédéric Boniol, D. Pinault A simulation environment for designing distributed reactive/deliberative time-constrained applications. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state
35MinSeong Kim, Andy J. Wellings Using the executor framework to implement asynchronous event handling in the RTSJ. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
35Giuseppe Ciaccio A Pretty Flexible API for Generic Peer-to-Peer Programming. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Jens Palsberg, Di Ma A Typed Interrupt Calculus. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Jørgen Lindskov Knudsen Fault Tolerance and Exception Handling in BETA. Search on Bibsonomy Advances in Exception Handling Techniques The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Babak Falsafi, David A. Wood 0001 Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols. Search on Bibsonomy HPCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Susan Horwitz Adding Relational Query Facilities to Software Development Environments. Search on Bibsonomy ESOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Sean Reilly Multi-Event Handlers for Sensor-Driven Ubiquitous Computing Applications. Search on Bibsonomy PerCom The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Chi Man Siu Optical Handlers: eeyee. Search on Bibsonomy SIGGRAPH ASIA Art Gallery & Emerging Technologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Stephan Korsholm, Martin Schoeberl, Anders P. Ravn Interrupt Handlers in Java. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Oliver Kasten, Kay Römer Beyond event handlers: programming wireless sensors with attributed state machines. Search on Bibsonomy IPSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Lukasz Dutka, Jacek Kitowski Application of Component-Expert Technology for Selection of Data-Handlers in CrossGrid. Search on Bibsonomy PVM/MPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Aamer Jaleel, Bruce L. Jacob Improving the Precise Interrupt Mechanism of Software-Managed TLB Miss Handlers. Search on Bibsonomy HiPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek ASHs: Application-Specific Handlers for High-Performance Messaging. Search on Bibsonomy SIGCOMM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
33R. Govindarajan Exception Handlers in Functional Programming Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
26Eun-Sun Cho, Sumi Helal A Situation-Based Exception Detection Mechanism for Safety in Pervasive Systems. Search on Bibsonomy SAINT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF exception handlers, programming models for pervasive systems, pervasive computing, contexts, safety, exceptions, situations
26Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting Profile-Directed Optimization of Event-Based Programs. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF handlers, profiling, events
26Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting, Wanda Chiu Coyote: A System for Constructing Fine-Grain Configurable Communication Services. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF x-kernal, configurable sevices, event handlers, event-driven execution, microprotocols, mobile computing, protocols, multicast, modularity, customization, remote procedure call, membership
26Mayan Moudgill, Stamatis Vassiliadis Precise Interrupts. Search on Bibsonomy IEEE Micro The full citation details ... 1996 DBLP  DOI  BibTeX  RDF interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts
26Christoph F. Eick, Paul Werstein Rule-Based Consistency Enforcement for Knowledge-Based Systems. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system
23Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic code optimization, dynamic correctness checking, dynamic program analysis
23Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl Exhaustive testing of safety critical Java. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF SCJ, model checking, real-time Java, Java PathFinder
23Scott McMaster, Atif M. Memon Call-Stack Coverage for GUI Test Suite Reduction. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Test coverage of code, Testing tools, Testing strategies, Test management
23Ivo Augusto Bertoncello, Marcelo Oliveira Dias, Patrick H. S. Brito, Cecília M. F. Rubira Explicit exception handling variability in component-based product line architectures. Search on Bibsonomy Workshop on Exception Handling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exceptional behaviour, software architecture, exception handling, component-based software development
23Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001 Exception resolution for BPEL processes: a middleware-based framework and performance evaluation. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quality of service (QoS), web services, scalability, middleware, exception handling, performance metrics
23Eyas El-Qawasmeh, Václav Snásel, Pit Pichappan Reshaping email relationships. Search on Bibsonomy ICDIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Mati Golani, Avigdor Gal, Eran Toch Modeling Alternatives in Exception Executions. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Na Liu 0001, John G. Hosking, John C. Grundy MaramaTatau: Extending a Domain Specific Visual Language Meta Tool with a Declarative Constraint Mechanism. Search on Bibsonomy VL/HCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF visual constraint language, visual language metatool
23Yui-Liang Chen, Yen-Yu Chen, Monica Shao 2005 accessibility diagnosis on the government web sites in Taiwan, R.O.C. Search on Bibsonomy W4A The full citation details ... 2006 DBLP  DOI  BibTeX  RDF accessible checkpoint, accessible examination, accessible examining system, accessible website, accessibility
23Mati Golani, Avigdor Gal Optimizing Exception Handling in Workflows Using Process Restructuring. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Scott McMaster, Atif M. Memon Call Stack Coverage for GUI Test-Suite Reduction. Search on Bibsonomy ISSRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Eric Wohlstadter, Kris De Volder Doxpects: aspects supporting XML transformation interfaces. Search on Bibsonomy AOSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Saisanthosh Balakrishnan, Gurindar S. Sohi Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs. Search on Bibsonomy ISCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Christian Poellabauer, Karsten Schwan Flexible cross-domain event delivery for quality-managed multimedia applications. Search on Bibsonomy ACM Trans. Multim. Comput. Commun. Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Event delivery, real-time events, quality-of-service, operating system, quality management, dynamic code generation
23Girish Chafle, Sunil Chandra, Pankaj Kankar, Vijay Mann Handling Faults in Decentralized Orchestration of Composite Web Services. Search on Bibsonomy ICSOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Linas Laibinis, Elena Troubitsyna Formal Development of Reactive Fault Tolerant Systems. Search on Bibsonomy RISE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Chen Fu, Barbara G. Ryder Navigating error recovery code in Java applications. Search on Bibsonomy eTX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Ashok U. Mallya, Munindar P. Singh Modeling exceptions via commitment protocols. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF agents, multiagent systems, exception handling, commitments
23Gertrude Neuman Levine Defining deadlock. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Zeng Fancong Deadlock Resolution via Exceptions for Dependable Java Applications. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg Stack Size Analysis for Interrupt-Driven Programs. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Mauricio Cortes, J. Robert Ensor Narnia: A Virtual Machine for Multimedia Communication Services. Search on Bibsonomy ISMSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF enhanced chat room, Session Initiation Protocol (SIP), performance measurements, events, roles, sessions, Distributed multimedia applications
23ByungHoon Kang, Robert Wilensky Toward a model of self-administering data. Search on Bibsonomy JCDL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF asynchonous collaboration, data access model, scalable update propagation, self-administering data, peer to peer, data management, file sharing, distributed file system
23Dickson K. W. Chiu, Qing Li 0001, Kamalakar Karlapalem ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions. Search on Bibsonomy Advances in Exception Handling Techniques The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Camil Demetrescu, Irene Finocchi, Giuseppe Liotta Visualizing Algorithms over the Web with the Publication-Driven Approach. Search on Bibsonomy WAE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Lance Hammond, Mark Willey, Kunle Olukotun Data Speculation Support for a Chip Multiprocessor. Search on Bibsonomy ASPLOS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Magnus Karlsson 0002, Per Stenström Performance Evaluation of a Cluster-Based Multiprocessor Built from ATM Switches and Bus-Based Multiprocessor Servers. Search on Bibsonomy HPCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23R. Mahesh K. Sinha, Birendra Prasada, Gilles F. Houle, Michael Sabourin Hybrid Contextural Text Recognition with String Matching. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF progressive recognition, transient statistical information, hybrid contextural algorithm, real-life documents, character hypothesis, word hypothesis, dynamic contour warping classifier, transient dictionary, modified Viterbi algorithm, optical character recognition, document image processing, string matching, text recognition, hypothesis verification
23Qian Cui, John D. Gannon Data-Oriented Exception Handling. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF normal algorithmic processing, error processing, control features, source text, data-oriented exception handling, data structures, Ada, programming, programming languages, declarations, data objects, Ada programs
21Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Daniel Hillerström, Sam Lindley, John Longley Asymptotic speedup via effect handlers. Search on Bibsonomy J. Funct. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara An Intrinsically Typed Compiler for Algebraic Effect Handlers. Search on Bibsonomy PEPM The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley Continuing WebAssembly with Effect Handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Marius Müller 0003, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki A General Fine-Grained Reduction Theory for Effect Handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Max S. New, Eric Giovannini, Daniel R. Licata Gradual Typing for Effect Handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Max S. New, Eric Giovannini, Daniel R. Licata Gradual Typing for Effect Handlers. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay Effects and Effect Handlers for Programmable Inference. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley Continuing WebAssembly with Effect Handlers. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Tiago Soares, Mário Pereira A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Birthe van den Berg, Tom Schrijvers A Framework for Higher-Order Effects & Handlers. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers A Calculus for Scoped Effects & Handlers. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Youyou Cong, Kenichi Asai Towards a Reflection for Effect Handlers. Search on Bibsonomy PEPM@POPL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Terran Mott, Tom Williams 0001 How Can Dog Handlers Help Us Understand the Future of Wilderness Search & Rescue Robots? Search on Bibsonomy RO-MAN The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Wanhong Huang 0001, Stefan Marr, Tomoharu Ugawa Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm. Search on Bibsonomy SAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Paulo Emílio de Vilhena, François Pottier A Type System for Effect Handlers and Dynamic Labels. Search on Bibsonomy ESOP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Pingshi Yu Reasoning about MLIR Semantics through Effects and Handlers. Search on Bibsonomy ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. Search on Bibsonomy PPDP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay Effect Handlers for Programmable Inference. Search on Bibsonomy Haskell The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen First-class names for effect handlers. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg High-level effect handlers in C++. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Takahiro Sanada Category-Graded Algebraic Theories and Effect Handlers. Search on Bibsonomy MFPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 373 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license