Abstract is missing.
- Formal Methods in CafeOBJKokichi Futatsugi. 1-20 [doi]
- The Essence of XML (Preliminary Version)Jérôme Siméon, Philip Wadler. 21-46 [doi]
- To the Gates of HAL: A HAL TutorialMaria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey. 47-66 [doi]
- Functional Logic Design PatternsSergio Antoy, Michael Hanus. 67-87 [doi]
- On Consistency and Width Notions for Constraint Programs with Algebraic ConstraintsKlaus Meer. 88-102 [doi]
- Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand TermsMiguel García-Díaz, Susana Nieva. 103-118 [doi]
- On the Correctness of the Factoring TransformationPascual Julián Iranzo. 119-133 [doi]
- Lambda-Lifting in Quadratic TimeOlivier Danvy, Ulrik Pagh Schultz. 134-151 [doi]
- The Well-Founded Semantics in Normal Logic Programs with UncertaintyYann Loyer, Umberto Straccia. 152-166 [doi]
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda CalculusMasahito Hasegawa. 167-182 [doi]
- Coinductive Interpreters for Process CalculiLuís Soares Barbosa, José Nuno Oliveira. 183-197 [doi]
- Descendants and Head Normalization of Higher-Order Rewrite SystemsHideto Kasuya, Masahiko Sakai, Kiyoshi Agusa. 198-211 [doi]
- Narrowing Failure in Functional Logic ProgrammingFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández. 212-227 [doi]
- The HiPE/x86 Erlang Compiler: System Description and Performance EvaluationMikael Pettersson, Konstantinos F. Sagonas, Erik Johansson. 228-244 [doi]
- Dynamic-Cut with Definitional TreesRafael Caballero, Francisco Javier López-Fraguas. 245-258 [doi]
- The Head Condition and Polymorphic RecursionJan-Georg Smaus. 259-274 [doi]
- Structural Abstraction and Application in Logic ProgrammingAntónio Porto. 275-289 [doi]
- VM lambda: A Functional Calculusfor Scientific DiscoveryEijiro Sumii, Hideo Bannai. 290-304 [doi]