Abstract is missing.
- Well-Typed Programs Can t Be BlamedPhilip Wadler, Robby Findler. 1-16 [doi]
- Exploring the Design Space of Higher-Order CastsJeremy G. Siek, Ronald Garcia, Walid Taha. 17-31 [doi]
- Practical Variable-Arity PolymorphismT. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen. 32-46 [doi]
- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional ProgrammingMatthew R. Lakin, Andrew M. Pitts. 47-61 [doi]
- Using Category Theory to Design Programming LanguagesJohn C. Reynolds. 62-63 [doi]
- Modular Monad TransformersMauro Jaskelioff. 64-79 [doi]
- Handlers of Algebraic EffectsGordon D. Plotkin, Matija Pretnar. 80-94 [doi]
- Is Structural Subtyping Useful? An Empirical StudyDonna Malayeri, Jonathan Aldrich. 95-111 [doi]
- An Interval-Based Inference of Variant Parametric TypesFlorin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin. 112-127 [doi]
- Existential Quantification for Variant OwnershipNicholas R. Cameron, Sophia Drossopoulou. 128-142 [doi]
- Formalising and Verifying Reference Attribute Grammars in CoqMax Schäfer, Torbjörn Ekman, Oege de Moor. 143-159 [doi]
- Verified, Executable ParsingAditi Barthwal, Michael Norrish. 160-174 [doi]
- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on TreesHao Yuan, Patrick Th. Eugster. 175-189 [doi]
- Amortised Memory Analysis Using the Depth of Data StructuresBrian Campbell. 190-204 [doi]
- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?Jean-Marc Eber. 205-206 [doi]
- All Secrets Great and SmallDelphine Demange, David Sands. 207-221 [doi]
- Type-Based Automated Verification of Authenticity in Cryptographic ProtocolsDaisuke Kikuchi, Naoki Kobayashi. 222-236 [doi]
- A Theory of Non-monotone Memory (Or: Contexts for free)Eijiro Sumii. 237-251 [doi]
- Abstraction for Concurrent ObjectsIvana Filipovic, Peter W. O Hearn, Noam Rinetzky, Hongseok Yang. 252-266 [doi]
- Minimization Algorithm for Symbolic BisimilarityFilippo Bonchi, Ugo Montanari. 267-284 [doi]
- Conversation TypesLuís Caires, Hugo Torres Vieira. 285-300 [doi]
- Abstract Processes in Orchestration LanguagesMaria Grazia Buscemi, Hernán C. Melgratti. 301-315 [doi]
- Global Principal Typing in Partially Commutative Asynchronous SessionsDimitris Mostrous, Nobuko Yoshida, Kohei Honda. 316-332 [doi]
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web ServicesHridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens. 333-347 [doi]
- Automatic Parallelization with Separation LogicMohammad Raza, Cristiano Calcagno, Philippa Gardner. 348-362 [doi]
- Deny-Guarantee ReasoningMike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis. 363-377 [doi]
- A Basis for Verifying Multi-threaded ProgramsK. Rustan M. Leino, Peter Müller. 378-393 [doi]
- SingleTrack: A Dynamic Determinism Checker for Multithreaded ProgramsCaitlin Sadowski, Stephen N. Freund, Cormac Flanagan. 394-409 [doi]