Abstract is missing.
- Compilation Semantics for a Programming Language with VersionsYudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. 3-23 [doi]
- What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical StudyKe Sun, Sheng Chen, Meng Wang 0002, Dan Hao 0001. 24-45 [doi]
- Types and Semantics for Extensible Data TypesCas van der Rest, Casper Bach Poulsen. 46-66 [doi]
- A Diamond Machine for Strong EvaluationBeniamino Accattoli, Pablo Barenbaum. 69-90 [doi]
- Proofs as Terms, Terms as GraphsJui-Hsuan Wu. 91-111 [doi]
- Typed Non-determinism in Functional and Concurrent CalculiBas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes Sobrinho, Jorge A. Pérez 0001. 112-132 [doi]
- A Fresh Look at Commutativity: Free Algebraic Structures via Fresh ListsClemens Kupke, Fredrik Nordvall Forsberg, Sean Watters. 135-154 [doi]
- Oracle Computability and Turing Reducibility in the Calculus of Inductive ConstructionsYannick Forster 0002, Dominik Kirst, Niklas Mück. 155-181 [doi]
- Experimenting with an Intrinsically-Typed Probabilistic Programming Language in CoqAyumu Saito, Reynald Affeldt. 182-202 [doi]
- Towards a Framework for Developing Verified Assemblers for the ELF FormatJinhua Wu, Yuting Wang 0001, Meng Sun, Xiangzhe Xu, Yichen Song. 205-224 [doi]
- Transport via Partial Galois Connections and EquivalencesKevin Kappelmann. 225-245 [doi]
- Argument Reduction of Constrained Horn Clauses Using Equality ConstraintsRyo Ikeda, Ryosuke Sato 0001, Naoki Kobayashi 0001. 246-265 [doi]
- Incorrectness Proofs for Object-Oriented Programs via Subclass ReflectionWenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin. 269-289 [doi]
- m-CFA Exhibits Perfect Stack PrecisionKimball Germane. 290-309 [doi]
- TorchProbe: Fuzzing Dynamic Deep Learning CompilersQidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si. 310-331 [doi]