Abstract is missing.
- An Adequate While-Language for Hybrid ComputationSergey Goncharov 0001, Renato Neves. [doi]
- Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed AlgorithmsYanhong A. Liu, Saksham Chand, Scott D. Stoller. [doi]
- Relational Symbolic ExecutionGian Pietro Farina, Stephen Chong, Marco Gaboardi. [doi]
- Under Control: Compositionally Correct Closure Conversion with Mutable StatePhillip Mates, Jamie Perconti, Amal Ahmed. [doi]
- Foundations of Session Types: 10 Years LaterGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani. [doi]
- Spacetime Programming: A Synchronous Language for Composable Search StrategiesPierre Talbot. [doi]
- Type-Driven Verification of Non-functional PropertiesChristopher Brown 0002, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra. [doi]
- TopHat: A formal foundation for task-oriented programmingTim Steenvoorden, Nico Naus, Markus Klinik. [doi]
- 10 Years of the Higher-Order Model Checking Project (Extended Abstract)Naoki Kobayashi 0001. [doi]
- Crumbling Abstract MachinesBeniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen. [doi]
- Exponential Elimination for Bicartesian Closed Categorical CombinatorsNachiappan Valliappan, Alejandro Russo. [doi]
- Sharing Equality is LinearAndrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen. [doi]
- Exception Handling and Classical LogicSteffen van Bakel. [doi]
- Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program TransformationKentaro Kikuchi, Takahito Aoto 0001, Isao Sasano. [doi]
- Functional Reactive Programming, restatedGuerric Chupin, Henrik Nilsson. [doi]
- Smart Contracts as Authorized Production RulesBen Lippmeier, Amos Robinson, Andrae Muys. [doi]
- Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda CalculusAndreas Abel, Christian Sattler. [doi]
- Property-Based Testing via Proof ReconstructionRoberto Blanco, Dale Miller 0001, Alberto Momigliano. [doi]
- Generic Encodings of Constructor Rewriting SystemsHoratiu Cirstea, Pierre-Etienne Moreau. [doi]
- Functional programming with λ-tree syntaxUlysse Gérard, Dale Miller 0001, Gabriel Scherer. [doi]
- Intrinsically-Typed Mechanized Semantics for Session TypesPeter Thiemann. [doi]