| 2002 | The Essence of XML (Preliminary Version). | Jrme Simon, Philip Wadler |
| 2002 | Structural Abstraction and Application in Logic Programming. | Antnio Porto |
| 2002 | The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. | Mikael Pettersson, Konstantinos Sagonas, Erik Johansson |
| 2002 | On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. | Klaus Meer |
| 2002 | The Well-Founded Semantics in Normal Logic Programs with Uncertainty. | Yann Loyer, Umberto Straccia |
| 2002 | Narrowing Failure in Functional Logic Programming. | Francisco Javier Lpez-Fraguas, Jaime Snchez-Hernndez |
| 2002 | Descendants and Head Normalization of Higher-Order Rewrite Systems. | Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa |
| 2002 | On the Correctness of the Factoring Transformation. | Pascual Julin Iranzo |
| 2002 | Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. | Masahito Hasegawa |
| 2002 | Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. | Miguel Garca-Daz, Susana Nieva |
| 2002 | Formal Methods in CafeOBJ. | Kokichi Futatsugi |
| 2002 | Lambda-Lifting in Quadratic Time. | Olivier Danvy, Ulrik Pagh Schultz |
| 2002 | Dynamic-Cut with Definitional Trees. | Rafael Caballero, Francisco Javier Lpez-Fraguas |
| 2002 | Coinductive Interpreters for Process Calculi. | Lus Soares Barbosa, Jos Nuno Oliveira |
| 2002 | To the Gates of HAL: A HAL Tutorial. | Maria J. Garca de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
| 2002 | Functional Logic Design Patterns. | Sergio Antoy, Michael Hanus |
| 2001 | A Complete Selection Function for Lazy Conditional Narrowing. | Taro Suzuki, Aart Middeldorp |
| 2001 | A General Type Inference Framework for Hindley/Milner Style Systems. | Martin Sulzmann |
| 2001 | A Simply Typed Context Calculus with First-Class Environments. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama |
| 2001 | Parameterized Logic Programs where Computing Meets Learning. | Taisuke Sato |
| 2001 | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. | Jeff Polakow, Kwangkeun Yi |
| 2001 | A Scalable Architecture for Proof-Carrying Code. | George C. Necula |
| 2001 | The Metalanguage lambda-Prolog and Its Implementation. | Gopalan Nadathur |
| 2001 | Adding Linear Constraints over Real Numbers to Curry. | Wolfgang Lux |
| 2001 | A Higher-Order Logic Programming Language with Constraints. | Javier Leach, Susana Nieva |