default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2019: Porto, Portugal
- Ekaterina Komendantskaya:
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM 2019, ISBN 978-1-4503-7249-7 - Giuseppe Castagna
, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. 1:1-1:3 - Naoki Kobayashi:
10 Years of the Higher-Order Model Checking Project (Extended Abstract). 2:1-2:2 - Andreas Abel, Christian Sattler:
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. 3:1-3:12 - Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen:
Crumbling Abstract Machines. 4:1-4:15 - Roberto Blanco, Dale Miller, Alberto Momigliano:
Property-Based Testing via Proof Reconstruction. 5:1-5:13 - Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra:
Type-Driven Verification of Non-functional Properties. 6:1-6:15 - Guerric Chupin, Henrik Nilsson:
Functional Reactive Programming, restated. 7:1-7:14 - Horatiu Cirstea, Pierre-Etienne Moreau:
Generic Encodings of Constructor Rewriting Systems. 8:1-8:12 - Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen:
Sharing Equality is Linear. 9:1-9:14 - Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Relational Symbolic Execution. 10:1-10:14 - Sergey Goncharov, Renato Neves:
An Adequate While-Language for Hybrid Computation. 11:1-11:15 - Ulysse Gérard, Dale Miller, Gabriel Scherer:
Functional programming with λ-tree syntax. 12:1-12:16 - Kentaro Kikuchi, Takahito Aoto, Isao Sasano:
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. 13:1-13:14 - Ben Lippmeier, Amos Robinson, Andrae Muys:
Smart Contracts as Authorized Production Rules. 14:1-14:14 - Yanhong A. Liu, Saksham Chand, Scott D. Stoller:
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. 15:1-15:15 - Phillip Mates, Jamie Perconti, Amal Ahmed:
Under Control: Compositionally Correct Closure Conversion with Mutable State. 16:1-16:15 - Tim Steenvoorden, Nico Naus, Markus Klinik:
TopHat: A formal foundation for task-oriented programming. 17:1-17:13 - Pierre Talbot:
Spacetime Programming: A Synchronous Language for Composable Search Strategies. 18:1-18:16 - Peter Thiemann:
Intrinsically-Typed Mechanized Semantics for Session Types. 19:1-19:15 - Nachiappan Valliappan, Alejandro Russo:
Exponential Elimination for Bicartesian Closed Categorical Combinators. 20:1-20:13 - Steffen van Bakel:
Exception Handling and Classical Logic. 21:1-21:14
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
