| 1998 | Fold and Unfold for Program Semantics. | Graham Hutton |
| 1998 | PLAN: A Packet Language for Active Networks. | Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
| 1998 | Higher-Order Arity Raising. | John Hannan, Patrick Hicks |
| 1998 | Combining CFG and Recursive Functions to Get a New Language. | Haiming Chen |
| 1998 | A Type Based Sharing Analysis for Update Avoidance and Optimisation. | Jrgen Gustavsson |
| 1998 | The Under-Appreciated Unfold. | Jeremy Gibbons, Geraint Jones |
| 1998 | H/Direct: A Binary Foreign Language Interface for Haskell. | Sigbjrn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1998 | Modular Object-Oriented Programming with Units and Mixins. | Robert Bruce Findler, Matthew Flatt |
| 1998 | A Term Calculus for Unitary Approach to Nomalization. | Claudia Faggian |
| 1998 | Implementing Design Patterns as Language Constructs. | Yan-David Erlich |
| 1998 | Verbose Typing. | Robert Ennals |
| 1998 | Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. | Robert Ennals |
| 1998 | Lazy Computation with Exact Real Numbers. | Abbas Edalat, Peter John Potts, Philipp Snderhauf |
| 1998 | Intensional Polymorphism in Type-Erasure Semantics. | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
| 1998 | Lava: Hardware Design in Haskell. | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
| 1998 | Compiling Standard ML to Java Bytecodes. | Nick Benton, Andrew Kennedy, George Russell |
| 1998 | Cayenne - a Language with Dependent Types. | Lennart Augustsson |
| 1998 | A Structured Approach to Retrieving Functions by Types. | Nancy An, Young Park |
| 1997 | Lambda-Flow: A Parallel Functional Synchronous Dataflow Language. | Guilhem de Wailly |
| 1997 | Formal Models of Distributed Memory Management. | Cristian Ungureanu, Benjamin Goldberg |
| 1997 | Multi-Stage Programming. | Walid Taha, Tim Sheard |
| 1997 | Distributed Programming, a Purely Functional Approach. | Eleni Spiliopoulou, Ian Holyer, Neil Davies |
| 1997 | Automatic Management of Operating System Resources. | Olin Shivers |
| 1997 | Flexible Representation Analysis. | Zhong Shao |
| 1997 | Simple Semantic Analysis Problems for Functional Programs. | Viktor K. Sabelfeld, Andrei Sabelfeld |