| 2006 | Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. | Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu |
| 2006 | Size-Change Termination and Bound Analysis. | James Avery |
| 2004 | A Brief Survey of Quantum Programming Languages. | Peter Selinger |
| 2004 | Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. | Carsten Schrmann |
| 2004 | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2004 | Sub-Birkhoff. | Vincent van Oostrom |
| 2004 | Complete Axiomatization of an Algebraic Construction of Graphs. | Mizuhito Ogawa |
| 2004 | Constructive Intensional Negation. | Susana Muoz-Hernndez, Julio Mario, Juan Jos Moreno-Navarro |
| 2004 | Backward Pair Sharing Analysis. | Lunjin Lu, Andy King |
| 2004 | A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. | Kentaro Kikuchi |
| 2004 | Basic Pattern Matching Calculi: a Fresh View on Matching Failure. | Wolfram Kahl |
| 2004 | Analysing Definitional Trees: Looking for Determinism. | Pascual Julin Iranzo, Christian Villamizar Lamus |
| 2004 | Rigid Mixin Modules. | Tom Hirschowitz |
| 2004 | Semantics of Linear Continuation-Passing in Call-by-Name. | Masahito Hasegawa |
| 2004 | Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato |
| 2004 | Derivation of Deterministic Inverse Programs Based on LR Parsing. | Robert Glck, Masahiko Kawabe |
| 2004 | Relaxing the Value Restriction. | Jacques Garrigue |
| 2004 | Implementing Natural Rewriting and Narrowing Efficiently. | Santiago Escobar |
| 2004 | LIX: an Effective Self-applicable Partial Evaluator for Prolog. | Stephen-John Craig, Michael Leuschel |
| 2004 | DDT: a Declarative Debugging Tool for Functional-Logic Languages. | Rafael Caballero, Mario Rodrguez-Artalejo |
| 2004 | Multivariant Non-failure Analysis via Standard Abstract Interpretation. | Francisco Bueno, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2004 | Set-Sharing Is Not Always Redundant for Pair-Sharing. | Francisco Bueno, Maria J. Garca de la Banda |
| 2004 | Normalization by Evaluation for lambda | Thorsten Altenkirch, Tarmo Uustalu |
| 2002 | VM lambda: A Functional Calculusfor Scientific Discovery. | Eijiro Sumii, Hideo Bannai |
| 2002 | The Head Condition and Polymorphic Recursion. | Jan-Georg Smaus |