The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ESOP"( http://dblp.L3S.de/Venues/ESOP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/esop

Publication years (Num. hits)
1986 (28) 1988 (29) 1990 (27) 1992 (29) 1994 (34) 1996 (26) 1998 (19) 1999 (20) 2000 (28) 2001 (29) 2002 (23) 2003 (28) 2004 (29) 2005 (30) 2006 (24) 2007 (36) 2008 (30) 2009 (29) 2010 (33) 2011 (26) 2012 (30) 2013 (33) 2014 (30) 2015 (34) 2016 (31) 2017 (37) 2018 (37) 2019 (29)
Publication types (Num. hits)
inproceedings(790) proceedings(28)
Venues (Conferences, Journals, ...)
ESOP(818)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 113 occurrences of 91 keywords

Results
Found 818 publication records. Showing 818 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rob van Glabbeek, Peter Höfner, Michael Markl A Process Algebra for Link Layer Protocols. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dylan McDermott, Alan Mycroft Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ismail Kuru 0001, Colin S. Gordon Safe Deferred Memory Reclamation with Types. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luís Caires (eds.) Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Patrignani, Deepak Garg 0001 Robustly Safe Compilation. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dan Frumin, Léon Gondelman, Robbert Krebbers Semi-automated Reasoning About Non-determinism in C Expressions. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Taro Sekiyama, Atsushi Igarashi Handling Polymorphic Algebraic Effects. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simon Castellan, Hugo Paquet Probabilistic Programming Inference via Intensional Semantics. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carsten Fuhs, Cynthia Kop A Static Higher-Order Dependency Pair Framework. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout An Abstract Domain for Trees with Numeric Relations. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers Distributive Disjoint Polymorphism for Compositional Programming. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikita Chopra, Rekha Pai, Deepak D'Souza Data Races and Static Analysis for Interrupt-Driven Kernels. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Glen Mével, Jacques-Henri Jourdan, François Pottier Time Credits and Time Receipts in Iris. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frédéric Gilbert 0002 Verifiable Certificates for Predicate Subtyping. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stephanie Balzer, Bernardo Toninho, Frank Pfenning Manifest Deadlock-Freedom for Shared Session Types. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuele Buro, Isabella Mastroeni On the Multi-Language Construction. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Giulio Guerrieri, Maico Leberle Types by Need. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ken Sakayori, Takeshi Tsukada A Categorical Model of an \mathbf i/o -typed \pi -calculus. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Boutillier, Ioana Cristescu, Jérôme Feret Counters in Kappa: Semantics, Simulation, and Static Analysis. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke Compiling Sandboxes: Formally Verified Software Fault Isolation. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Francesco Gavazzo Effectful Normal Form Bisimulation. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li-yao Xia, Dominic Orchard, Meng Wang Composing Bidirectional Programs Monadically. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones Codata in Action. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ferdinand Vesely, Kathleen Fisher One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Henning Basold, Ekaterina Komendantskaya, Yue Li Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks 0001 Evaluating Design Tradeoffs in Numeric Static Analysis for Java. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi 0001, Takeshi Tsukada, Keiichi Watanabe Higher-Order Program Verification via HFL Model Checking. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers Explicit Effect Subtyping. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Armaël Guéneau, Arthur Charguéraud, François Pottier A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey Paxos Consensus, Deconstructed and Abstracted. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner Quantitative Analysis of Smart Contracts. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ningning Xie, Bruno C. d. S. Oliveira Let Arguments Go First. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samuel Merten, Alexander Bagnall, Gordon Stewart 0001 Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub An Assertion-Based Program Logic for Probabilistic Programs. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mike Dodds, Mark Batty, Alexey Gotsman Compositional Verification of Compiler Optimisations on Relaxed Memory. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Bichsel, Timon Gehr, Martin T. Vechev Fine-Grained Semantics for Probabilistic Programs. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Eilers, Peter Müller 0001, Samuel Hitz Modular Product Programs. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amal Ahmed (eds.) Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hannah Gommerstadt, Limin Jia, Frank Pfenning Session-Typed Concurrent Contracts. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Kappé, Paul Brunet, Alexandra Silva 0001, Fabio Zanasi Concurrent Kleene Algebra: Free Model and Completeness. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernardo Toninho, Nobuko Yoshida On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radha Jagadeesan, James Riely Eventual Consistency for CRDTs. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Ostermann, Julian Jabs Dualizing Generalized Algebraic Data Types by Matrix Transposition. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kazutaka Matsuda, Meng Wang 0002 HOBiT: Programming Lenses Without Using Lens Combinators. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad Correctness of a Concurrent Object Collector for Actor Languages. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan Bach Le, Aquinas Hobor Logical Reasoning for Disjoint Permissions. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre-Marie Pédrot, Nicolas Tabareau Failure is Not an Option - An Exceptional Type Theory. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Azalea Raad, Ori Lahav, Viktor Vafeiadis On Parallel Snapshot Isolation and Release/Acquire Consistency. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Caterina Urban, Peter Müller 0001 An Abstract Interpretation Framework for Input Data Usage. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lars Hupel, Tobias Nipkow A Verified Compiler from Isabelle/HOL to CakeML. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alex Simpson, Niels F. W. Voorneveld Behavioural Equivalence via Modalities for Algebraic Effects. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brandon M. Moore, Lucas Peña, Grigore Rosu Program Verification by Coinduction. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis A Separation Logic for a Promising Semantics. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jafar Hamin, Bart Jacobs 0002 Deadlock-Free Monitors. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira Consistent Subtyping for All. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lau Skorstengaard, Dominique Devriese, Lars Birkedal Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh Fragment Abstraction for Concurrent Shape Analysis. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joshua Dunfield Extensible Datasort Refinements. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremy Gibbons APLicative Programming with Naperian Functors. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson Proving Linearizability Using Partial Orders. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Atkey Observed Communication Semantics for Classical Processes. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish Verified Characteristic Formulae for CakeML. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis Faster Algorithms for Weighted Recursive State Machines. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi Disjoint Polymorphism. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marko Doko, Viktor Vafeiadis Tackling Real-Life Relaxed Concurrency with FSL++. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi Confluence of Graph Rewriting with Interfaces. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Boutillier, Thomas Ehrhard, Jean Krivine Incremental Update for Graph Rewriting. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robbert Krebbers, Ralf Jung 0002, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal The Essence of Higher-Order Concurrent Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Charles Grellois Probabilistic Termination by Monadic Affine Sized Typing. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong ML and Extended Branching VASS. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Padovani Context-Free Session Type Inference. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Caires, Jorge A. Pérez Linearity, Control Effects, and Behavioral Types. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francisco Ferreira 0001, Brigitte Pientka Programs Using Syntax with First-Class Binders. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu 0001, Dmitriy Traytel Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raphaëlle Crubillé, Ugo Dal Lago Metric Reasoning About \lambda -Terms: The General Case. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tim Wood 0004, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal Caper - Automatic Verification for Fine-Grained Concurrency. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner Abstract Specifications for Concurrent Maps. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Leinberger, Ralf Lämmel, Steffen Staab The Essence of Functional Programming on Semantic Data. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang 0023 Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Francesco Dagnino, Elena Zucca Generalizing Inference Systems by Coaxioms. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sam Staton Commutative Semantics for Probabilistic Programming. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arthur Charguéraud, François Pottier Temporary Read-Only Permissions for Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ryosuke Sato, Naoki Kobayashi 0001 Modular Verification of Higher-Order Functional Programs. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aina Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka LINCX: A Linear Logical Framework with First-Class Contexts. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cynthia Kop, Jakob Grue Simonsen The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ryan Culpepper, Andrew Cobb Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hongseok Yang (eds.) Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 818 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license