| 1999 | Polytypic Programming With Ease (Extended Abstract). | Ralf Hinze |
| 1999 | A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. | Michael Hanus, Salvador Lucas |
| 1999 | Semantics and Types in Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1999 | An Interval Lattice-Based Constraint Solving Framework for Lattices. | Antonio J. Fernndez, Patricia M. Hill |
| 1999 | An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. | Olivier Danvy |
| 1999 | Lazy Lexing is Fast. | Manuel M. T. Chakravarty |
| 1999 | Type Inference for Overloading without Restrictions, Declarations or Annotations. | Carlos Camaro, Luclia Figueiredo |
| 1999 | A Functional-Logic Perspective on Parsing. | Rafael Caballero, Francisco Javier Lpez-Fraguas |
| 1999 | Using Types as Approximations for Type Checking Prolog Programs. | Christoph Beierle, Gregor Meyer |
| 1999 | Partial Evaluation and Non-interference for Object Calculi. | Gilles Barthe, Bernard P. Serpette |
| 1999 | Automated Generalisation of Function Definitions. | Adam Bakewell, Colin Runciman |
| 1999 | Typed Higher-Order Narrowing without Higher-Order Strategies. | Sergio Antoy, Andrew P. Tolmach |
| 1999 | A Transformation System for Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1998 | Type-free Equational Reasoning in the Theeory of Inductively Defined Types. | Yasuyuki Tsukada |
| 1998 | A Type Theory for Cyclic Strcture. | Izumi Takeuti |
| 1998 | Lambda-representable Functions over Free Structures Revisited. | Masako Takahashi |
| 1998 | Categorial Model Construction for Proving Syntactic Properties. | Takafumi Sakurai |
| 1998 | Postponing Redex Contractions in Equational Programs | Nadia Nedjah |
| 1998 | Rewriting Logic for Cyclic Sharing Structures (extended abstract). | Hiroyuki Miyoshi |
| 1998 | Two-Stage Programming. | Edgar F. A. Lederer, Romeo A. Dumitrescu |
| 1998 | Towards Manipulation of Mutually Recursive Functions. | Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi |
| 1998 | On the Semantics of GAEA. | Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, Jos Meseguer, Hideyuki Nakashima |
| 1998 | Prological Features in a Functional Setting Axioms and Implementation. | Ralf Hinze |
| 1998 | Online Type-Directed Partial Evaluation. | Olivier Danvy |
| 1998 | Computing with Abstract Bhm Trees. | Pierre-Louis Curien, Hugo Herbelin |