| 1998 | A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. Oleg Kiselyov |
| 1998 | A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects. Luc Moreau |
| 1998 | A Framework for Type Inference with Subtyping. François Pottier |
| 1998 | A Functional Programming Approach to Hypermedia Authoring. Daniel H. Marcos, Pablo E. Martínez López, Walter A. Risi |
| 1998 | A Lazy CGI Namespace in Scheme. Oleg Kiselyov |
| 1998 | A Non-Deterministic Call-by-Need Lambda Calculus. Arne Kutzner, Manfred Schmidt-Schauß |
| 1998 | A Structured Approach to Retrieving Functions by Types. Nancy An, Young Park |
| 1998 | A Term Calculus for Unitary Approach to Nomalization. Claudia Faggian |
| 1998 | A Theory of Core Fudgets. Colin J. Taylor |
| 1998 | A Type Based Sharing Analysis for Update Avoidance and Optimisation. Jörgen Gustavsson |
| 1998 | Automating Derivation of Incremental Programs. Yuchen Zhang, Yanhong A. Liu |
| 1998 | Building Program Optimizers with Rewriting Strategies. Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach |
| 1998 | Cayenne - a Language with Dependent Types. Lennart Augustsson |
| 1998 | Combining CFG and Recursive Functions to Get a New Language. Haiming Chen |
| 1998 | Compiling Standard ML to Java Bytecodes. Nick Benton, Andrew Kennedy, George Russell |
| 1998 | Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. Robert Ennals |
| 1998 | Encoding Types in ML-Like Languages. Zhe Yang |
| 1998 | Fold and Unfold for Program Semantics. Graham Hutton |
| 1998 | Frob - Functional Robotics. Gary Shu Ling |
| 1998 | Functional Differentiation of Computer Programs. Jerzy Karczmarczuk |
| 1998 | Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. Oleg Kiselyov |
| 1998 | H/Direct: A Binary Foreign Language Interface for Haskell. Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1998 | Higher-Order Arity Raising. John Hannan, Patrick Hicks |
| 1998 | Imperative Streams - A Monadic Combinator Library for Synchronous Programming. Enno Scholz |
| 1998 | Implementing Design Patterns as Language Constructs. Yan-David Erlich |
| 1998 | Implementing Typed Intermediate Languages. Zhong Shao, Christopher League, Stefan Monnier |
| 1998 | Intensional Polymorphism in Type-Erasure Semantics. Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
| 1998 | LAND*: an AND with local bindings, a Oleg Kiselyov |
| 1998 | Lava: Hardware Design in Haskell. Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
| 1998 | Lazy Computation with Exact Real Numbers. Abbas Edalat, Peter John Potts, Philipp Sünderhauf |
| 1998 | MAP: A Functional Analysis and Design Method. Dan Russell |
| 1998 | Modular Object-Oriented Programming with Units and Mixins. Robert Bruce Findler, Matthew Flatt |
| 1998 | On Application of Self-Similar Pictures in Education. Zoran Putnik |
| 1998 | On the Runtime Complexity of Type-Directed Unboxing. Yasuhiko Minamide, Jacques Garrigue |
| 1998 | PLAN: A Packet Language for Active Networks. Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
| 1998 | Pragmatic Subtyping in Polymorphic Languages. Johan Nordlander |
| 1998 | Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. Matthias Felleisen, Paul Hudak, Christian Queinnec |
| 1998 | Programming with Variable Functions. Martin Odersky |
| 1998 | Recycling Continuations. Jonathan Sobel, Daniel P. Friedman |
| 1998 | Taming Effects with Monadic Typing. Richard B. Kieburtz |
| 1998 | The Marriage of Effects and Monads. Philip Wadler |
| 1998 | The Spineless Tagless G-machine, naturally. Jon Mountjoy |
| 1998 | The Under-Appreciated Unfold. Jeremy Gibbons, Geraint Jones |
| 1998 | Type Errors Confuse the Programmer (Poster Abstract). Bruce J. McAdam |
| 1998 | Typed Cross-Module Compilation. Zhong Shao |
| 1998 | Verbose Typing. Robert Ennals |
| 1998 | YALE: Yet Another Lambda Evaluator Based on Interaction Nets. Ian Mackie |