| 1993 | Tupling Functions with Multiple Recursion Parameters. | Wei-Ngan Chin, Siau-Cheng Khoo |
| 1993 | Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. | Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck |
| 1993 | Freeness, Sharing, Linearity and Correctness - All at Once. | Maurice Bruynooghe, Michael Codish |
| 1993 | Synthesis of Directionality Information for Functional Logic Programs. | Johan Boye, Jukka Paakki, Jan Maluszynski |
| 1993 | Abstract Rewriting. | Didier Bert, Rachid Echahed, Bjarte M. stvold |
| 1993 | Strictness Properties of Lazy Algebraic Datatypes. | P. N. Benton |
| 1993 | Minimal Thunkification. | Torben Amtoft |
| 1992 | Control-Flow Effects for Escape Analysis. | Yan Mei Tang, Pierre Jouvelot |
| 1992 | Inference Systems for Binding Time Analysis. | Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson |
| 1992 | Approximations d'valuateurs fonctionnels. | Bernard P. Serpette |
| 1992 | Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines. | E. Saint-James |
| 1992 | Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack. | Christian Queinnec, P. Geffroy |
| 1992 | Value Transforming Style. | Christian Queinnec |
| 1992 | Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1992 | Order-of-Demand Analysis for Lazy Languages. | Young Gil Park, Benjamin Goldberg |
| 1992 | Minimal Function Graphs are not Instrumented. | Alan Mycroft, Mads Rosendahl |
| 1992 | Fractional Types. | Bruno Monsuez |
| 1992 | Automatic Generation of Valid Linear Measures for CLP(Q) Programs. | Frdric Mesnard, Marianne Morillon |
| 1992 | Speeding Up Parallelism Detection for Attribute Grammars. | Matthijs F. Kuiper |
| 1992 | Axiomatising Uniform Properties of Recursive Data Structures. | Thomas P. Jensen |
| 1992 | An Abstract Interpretation Algorithm for Residuating Logic Programs. | Michael Hanus |
| 1992 | Transformation of Gamma Programs. | Chris Hankin, Daniel Le Mtayer, David Sands |
| 1992 | Sharing Analysis of Lazy First-Order Functional Programs. | Geoff W. Hamilton |
| 1992 | On Boolean Feature Types. | Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros |
| 1992 | Infrer rapidement la gomtrie des collections. | Jean-Louis Giavitto, Jean-Paul Sansonnet, Olivier Michel |