- Hongwei Xi:
Evaluation Under Lambda Abstraction. PLILP 1997: 259-273 - Hugh Glaser, Pieter H. Hartel, Herbert Kuchen:
Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1292, Springer 1997, ISBN 3-540-63398-7 [contents] - 1996
- Sergio Antoy:
Needed Narrowing in Prolog (Extended Abstract). PLILP 1996: 473-474 - Maria-Virginia Aponte, Roberto Di Cosmo:
Type Isomorphisms for Module Signatures. PLILP 1996: 334-346 - Roberto Bagnara:
A Reactive Implementation of Pos Using ROBDDs. PLILP 1996: 107-121 - Maria J. García de la Banda
, Francisco Bueno, Manuel V. Hermenegildo:
Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91 - Gianna Bellè, C. Barry Jay, Eugenio Moggi:
Functorial ML. PLILP 1996: 32-46 - Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose:
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. PLILP 1996: 393-407 - Olivier Danvy, René Vestergaard:
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. PLILP 1996: 182-197 - Christian Fecht:
An Efficient and Precise Sharing Domain for Logic Programs. PLILP 1996: 469-470 - Maribel Fernández, Ian Mackie:
From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333 - Nicoletta De Francesco, Antonella Santone:
Unfold/Fold Transformations of Concurrent Processes. PLILP 1996: 167-181 - Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258 - Luis A. Galán, Cristóbal Pareja, Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden. PLILP 1996: 289-303 - Thomas Gehrke, Michaela Huhn:
ProFun - A Language for Executable Specifications. PLILP 1996: 304-318 - Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen:
Controlling Conjunctive Partial Deduction. PLILP 1996: 152-166 - Sergei Gorlatch:
Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. PLILP 1996: 274-288 - Geoff W. Hamilton:
Higher Order Deforestation. PLILP 1996: 213-227 - Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Cheap Tupling in Calculational Form. PLILP 1996: 471-472 - Stefan Kahrs:
Limits of ML-Definability. PLILP 1996: 17-31 - Fairouz Kamareddine, Alejandro Ríos:
Generalized beta-Reduction and Explicit Substitution. PLILP 1996: 378-392 - Christoph W. Keßler:
Scheduling Expression DAGs for Minimal Register Need. PLILP 1996: 228-242 - Michael Leuschel, Danny De Schreye:
Logic Program Specialisation: How To Be More Specific. PLILP 1996: 137-151 - Xining Li:
Program Sharing: A New Implementation Approach for Prolog. PLILP 1996: 259-273 - Mengchi Liu:
The LOL Deductive Database Programming Language (Extended Abstract). PLILP 1996: 454-468 - Pascale Louvet, Olivier Ridoux:
Parametric Polymorphism for Typed Prolog and lambda-Prolog. PLILP 1996: 47-61 - Salvador Lucas:
Context-Sensitive Computations in Confluent Programs. PLILP 1996: 408-422 - Joaquín Mateos-Lago, Mario Rodríguez-Artalejo:
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. PLILP 1996: 62-76 - Lambert G. L. T. Meertens:
Calculate Polytypically! PLILP 1996: 1-16 - Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris:
Dynamic Attribute Grammars. PLILP 1996: 122-136
