Abstract is missing.
- Strongly-Typed Multi-View Stack-Based ComputationsPieter W. M. Koopman, Mart Lubbers. [doi]
- Comprehending queries over finite mapsWilmer Ricciotti. [doi]
- stableKanren: Integrating Stable Model Semantics with miniKanrenXiangyu Guo, James Smith, Ajay Bansal. [doi]
- Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control OperatorsKazuki Ikemori, Youyou Cong, Hidehiko Masuhara. [doi]
- Data-Dependent Confidentiality in DCR GraphsEduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt. [doi]
- Termination in Concurrency, RevisitedJoseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes Sobrinho. [doi]
- Additive Cellular Automata Graded-MonadicallySilvio Capobianco, Tarmo Uustalu. [doi]
- Closure Conversion in Little PiecesZachary J. Sullivan, Paul Downen, Zena M. Ariola. [doi]
- A Calculus of Delayed ReductionsSteffen van Bakel, Nicolas Wu, Emma Tye. [doi]
- Intuitionistic Metric Temporal LogicLuiz De Sá, Bernardo Toninho, Frank Pfenning. [doi]
- Polymorphic Typestate for Session TypesHannes Saffrich, Peter Thiemann 0001. [doi]
- Type-directed Program Transformation for Constant-Time EnforcementGautier Raimondi, Frédéric Besson, Thomas P. Jensen. [doi]
- Multicompatibility for Multiparty-Session CompositionFranco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida. [doi]