| 2016 | Declarative Foreign Function Binding Through Generic Programming. | Jeremy Yallop, David Sheets, Anil Madhavapeddy |
| 2016 | Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. | Kazunori Ueda |
| 2016 | The Boolean Constraint Solver of SWI-Prolog (System Description). | Markus Triska |
| 2016 | From Proposition to Program - Embedding the Refinement Calculus in Coq. | Wouter Swierstra, Joo Alpuim |
| 2016 | Probabilistic Inference by Program Transformation in Hakaru (System Description). | Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov |
| 2016 | Incremental Computing with Abstract Data Structures. | Akimasa Morihata |
| 2016 | A Coq Library for Internal Verification of Running-Times. | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
| 2016 | An Interaction Net Encoding of Gdel's System | Ian Mackie, Shinya Sato |
| 2016 | Polymorphic Types in Erlang Function Specifications. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Juan Rodrguez-Hortal |
| 2016 | A Transformational Approach to Parametric Accumulated-Cost Static Profiling. | Rmy Haemmerl, Pedro Lpez-Garca, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo |
| 2016 | Declarative Programming with Algebra. | Andr van Delft, Anatoliy Kmetyuk |
| 2016 | Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. | Taus Brock-Nannestad |
| 2016 | From Sets to Bits in Coq. | Arthur Blot, Pierre-variste Dagand, Julia Lawall |
| 2016 | Executable Relational Specifications of Polymorphic Type Systems Using Prolog. | Ki Yung Ahn, Andrea Vezzosi |
| 2016 | Proof Relevant Corecursive Resolution. | Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond |
| 2014 | AC-KBO Revisited. | Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp |
| 2014 | Lightweight Higher-Kinded Polymorphism. | Jeremy Yallop, Leo White |
| 2014 | POSIX Regular Expression Parsing with Derivatives. | Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2014 | Linear Sized Types in the Calculus of Constructions. | Jorge Luis Sacchini |
| 2014 | Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. | Adrin Riesco |
| 2014 | How Many Numbers Can a Lambda-Term Contain? | Pawel Parys |
| 2014 | A New Formalization of Subtyping to Match Subclasses to Subtypes. | Hyunik Na, Sukyoung Ryu |
| 2014 | Dynamic Programming via Thinning and Incrementalization. | Akimasa Morihata, Masato Koishi, Atsushi Ohori |
| 2014 | Generic Programming with Multiple Parameters. | Jos Pedro Magalhes |
| 2014 | Semantics for Prolog with Cut - Revisited. | Jael Kriener, Andy King |