Abstract is missing.
- PrologCheck - Property-Based Testing in PrologCláudio Amaral, Mário Florido, Vítor Santos Costa. 1-17 [doi]
- Generating Constrained Random Data with Uniform DistributionKoen Claessen, Jonas Duregård, Michal H. Palka. 18-34 [doi]
- Guided Type DebuggingSheng Chen 0008, Martin Erwig. 35-51 [doi]
- Using Big-Step and Small-Step Semantics in Maude to Perform Declarative DebuggingAdrián Riesco. 52-68 [doi]
- Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System DescriptionKarim Barkati, Haisheng Wang, Pierre Jouvelot. 69-85 [doi]
- The Design and Implementation of BER MetaOCaml - System DescriptionOleg Kiselyov. 86-102 [doi]
- On Cross-Stage Persistence in Multi-Stage ProgrammingYuichiro Hanada, Atsushi Igarashi. 103-118 [doi]
- Lightweight Higher-Kinded PolymorphismJeremy Yallop, Leo White. 119-135 [doi]
- Generic Programming with Multiple ParametersJosé Pedro Magalhães. 136-151 [doi]
- Type-Based Amortized Resource Analysis with Integers and ArraysJan Hoffmann 0002, Zhong Shao. 152-168 [doi]
- Linear Sized Types in the Calculus of ConstructionsJorge Luis Sacchini. 169-185 [doi]
- Dynamic Programming via Thinning and IncrementalizationAkimasa Morihata, Masato Koishi, Atsushi Ohori. 186-202 [doi]
- POSIX Regular Expression Parsing with DerivativesMartin Sulzmann, Kenny Zhuo Ming Lu. 203-220 [doi]
- Proving Correctness of Compilers Using Structured GraphsPatrick Bahr. 221-237 [doi]
- A New Formalization of Subtyping to Match Subclasses to SubtypesHyunik Na, Sukyoung Ryu. 238-252 [doi]
- Type Soundness and Race Freedom for MezzoThibaut Balabonski, François Pottier, Jonathan Protzenko. 253-269 [doi]
- Semantics for Prolog with Cut - RevisitedJael Kriener, Andy King. 270-284 [doi]
- Constraint Logic Programming for Hedges: A Semantic ReconstructionBesik Dundua, Mário Florido, Temur Kutsia, Mircea Marin. 285-301 [doi]
- How Many Numbers Can a Lambda-Term Contain?Pawel Parys. 302-318 [doi]
- AC-KBO RevisitedAkihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp. 319-335 [doi]
- Well-Structured Pushdown System: Case of Dense Timed Pushdown AutomataXiaojuan Cai, Mizuhito Ogawa. 336-352 [doi]