|
|
Conferences in DBLP
- Lambert G. L. T. Meertens
Calculate Polytypically! [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:1-16 [Conf]
- Stefan Kahrs
Limits of ML-Definability. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:17-31 [Conf]
- Gianna Bellè, C. Barry Jay, Eugenio Moggi
Functorial ML. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:32-46 [Conf]
- Pascale Louvet, Olivier Ridoux
Parametric Polymorphism for Typed Prolog and lambda-Prolog. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:47-61 [Conf]
- Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:62-76 [Conf]
- Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
Towards Independent And-Parallelism in CLP. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:77-91 [Conf]
- Geoffrey Weyer, William H. Winsborough
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:92-106 [Conf]
- Roberto Bagnara
A Reactive Implementation of Pos Using ROBDDs. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:107-121 [Conf]
- Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris
Dynamic Attribute Grammars. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:122-136 [Conf]
- Michael Leuschel, Danny De Schreye
Logic Program Specialisation: How To Be More Specific. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:137-151 [Conf]
- Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
Controlling Conjunctive Partial Deduction. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:152-166 [Conf]
- Nicoletta De Francesco, Antonella Santone
Unfold/Fold Transformations of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:167-181 [Conf]
- Olivier Danvy, René Vestergaard
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:182-197 [Conf]
- Peter Thiemann
Implementing Memoization for Partial Evaluation. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:198-212 [Conf]
- Geoff W. Hamilton
Higher Order Deforestation. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:213-227 [Conf]
- Christoph W. Keßler
Scheduling Expression DAGs for Minimal Register Need. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:228-242 [Conf]
- Juliana Freire, Terrance Swift, David Scott Warren
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:243-258 [Conf]
- Xining Li
Program Sharing: A New Implementation Approach for Prolog. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:259-273 [Conf]
- Sergei Gorlatch
Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:274-288 [Conf]
- Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:289-303 [Conf]
- Thomas Gehrke, Michaela Huhn
ProFun - A Language for Executable Specifications. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:304-318 [Conf]
- Maribel Fernández, Ian Mackie
From Term Rewriting to Generalised Interaction Nets. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:319-333 [Conf]
- Maria Virginia Aponte, Roberto Di Cosmo
Type Isomorphisms for Module Signatures. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:334-346 [Conf]
- Salvatore Ruggieri
Decidability of Logic Program Semantics and Applications to Testing. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:347-362 [Conf]
- Enno Scholz
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:363-377 [Conf]
- Fairouz Kamareddine, Alejandro Ríos
Generalized beta-Reduction and Explicit Substitution. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:378-392 [Conf]
- Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:393-407 [Conf]
- Salvador Lucas
Context-Sensitive Computations in Confluent Programs. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:408-422 [Conf]
- Peter J. Stuckey, Vincent Tam
Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:423-437 [Conf]
- Peter Van Roy, Michael Mehl, Ralf Scheidhauer
Integrating Efficient Records into Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:438-453 [Conf]
- Mengchi Liu
The LOL Deductive Database Programming Language (Extended Abstract). [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:454-468 [Conf]
- Christian Fecht
An Efficient and Precise Sharing Domain for Logic Programs. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:469-470 [Conf]
- Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Cheap Tupling in Calculational Form. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:471-472 [Conf]
- Sergio Antoy
Needed Narrowing in Prolog (Extended Abstract). [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:473-474 [Conf]
- Germán Puebla, Manuel V. Hermenegildo
Automatic Optimization of Dynamic Scheduling in Logic Programs. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:475-476 [Conf]
- Christian Schulte
Oz Explorer: A Visual Constraint Programming Tool. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:477-478 [Conf]
|
