PLILP

Keyphrases

Publications

volume 1490, 1998

Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings PLILP 1490 (1998)

1997

Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
Semantics and Compilation of Recursive Sequential Streams in 8½. PLILP (1997)
Gilles Barthe, John Hatcliff, Morten Heine Sørensen
Reflections on Reflections. PLILP (1997)
Adriana B. Compagnoni, Maribel Fernández
On Object Calculus with Algebraic Rewriting. PLILP (1997)
Norbert Eisinger, Tim Geisler, Sven Panne
Logic Implemented Functionally. PLILP (1997)
Jon Whittle, Alan Bundy, Helen Lowe
An Editor for Helping Novices to Learn Standard ML. PLILP (1997)
Salvador Lucas
Transformations for Efficient Evaluations in Functional Programming. PLILP (1997)
Roberto Giacobazzi, Francesca Scozzari
Intuitionistic Implication in Abstract Interpretation. PLILP (1997)
José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz
Inheritance and Selective Methods Dispatching in Concurrent Haskell. PLILP (1997)
Hongwei Xi
Evaluation Under Lambda Abstraction. PLILP (1997)
Nobuhisa Fujinami
Automatic Run-Time Code Generation in Object-Oriented Languages. PLILP (1997)
Ross Paterson
Transforming Lazy Functions Using Comportment Properties. PLILP (1997)
Michael Hanus
Teaching Functional and Logic Programming with a Single Computational Model. PLILP (1997)
Jan Janousek, Borivoj Melichar
Formal Translations Described by Translation Grammars with LR(k) Input Grammars. PLILP (1997)
Steve Gregory
A Declarative Approach to Concurrent Programming. PLILP (1997)
Erik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth
A Pragmatic Approach to Compilation of Erlang. PLILP (1997)
Simon J. Thompson
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP (1997)
Jan Sparud, Colin Runciman
Tracing Lazy Functional Computations Using Redex Trails. PLILP (1997)
Christian Mossin
Higher-Order Value Flow Graphs. PLILP (1997)
Christoph A. Herrmann, Christian Lengauer
Transformation of Divide & Conquer to Nested Parallel Loops. PLILP (1997)
Manuel Serrano
Inline Expansion: When and How? PLILP (1997)
Guy Cousineau
Functional Programming and Geometry. PLILP (1997)
Davide Ancona, Elena Zucca
Overriding Operators in a Mixin-Based Framework. PLILP (1997)
Mats Carlsson, Greger Ottosson, Björn Carlson
An Open-Ended Finite Domain Constraint Solver. PLILP (1997)
Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP (1997)
David De Roure
Introducing the Declarative Dungeon. PLILP (1997)
Sergio Antoy, Zena M. Ariola
Narrowing the Narrowing Space. PLILP (1997)
Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez
Resolution for Logic Programming with Universal Quantifiers. PLILP (1997)
Kazuhiro Ogata, Kokichi Futatsugi
Implementation of Term Rewritings with the Evaluation Strategy. PLILP (1997)
Zhiyi Huang, Chengzheng Sun, Abdul Sattar
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP (1997)

volume 1292, 1997

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 PLILP 1292 (1997)

1996

volume 1140, 1996

Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings PLILP 1140 (1996)