|
|
Conferences in DBLP
- Oege de Moor
A Generic Program for Sequential Decision Processes [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:1-23 [Conf]
- Kim Marriott
Parsing Visual Languages with Constraint Multiset Grammars [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:24-25 [Conf]
- Mark P. Jones
Programming with Constructor Classes (Abstract) [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:26- [Conf]
- Rémi Douence, Pascal Fradet
Towards a Taxonomy of Functional Languages Implementations [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:27-44 [Conf]
- Fairouz Kamareddine, Alejandro Ríos
A Lambda-Calculus `a la de Bruijn with Explicit Substitutions [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:45-62 [Conf]
- Heinz Faßbender
A Verified Implementation of Narrowing [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:63-80 [Conf]
- Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
A New Strategy for Semantic Matching [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:81-96 [Conf]
- Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:97-114 [Conf]
- Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
Exploiting Parallelism in Tabled Evaluations [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:115-132 [Conf]
- Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:133-150 [Conf]
- Michael Mehl, Ralf Scheidhauer, Christian Schulte
An Abstract Machine for Oz [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:151-168 [Conf]
- Alan Mycroft, Kirsten Lackner Solberg
Uniform PERs and Comportment Analysis [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:169-187 [Conf]
- Erik Barendsen, Sjaak Smetsers
Uniqueness Type Inference [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:189-206 [Conf]
- Barton C. Massey, Evan Tick
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:207-222 [Conf]
- Wei-Ngan Chin, Siau-Cheng Khoo
Better Consumers for Deforestation (Extended Abstract) [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:223-240 [Conf]
- Markus Mohnen
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:241-258 [Conf]
- Robert Glück, Jesper Jørgensen
Efficient Multi-level Generating Extensions for Program Specialization [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:259-278 [Conf]
- John Hatcliff
Mechanically Verifying the Correctness of an Offline Partial Evaluator [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:279-298 [Conf]
- Fritz Henglein, David Sands
A Semantic Model of Binding Times for Safe Partial Evaluation [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:299-320 [Conf]
- Rob Noble, Colin Runciman
Gadgets: Lazy Functional Components for Graphical User Interfaces [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:321-340 [Conf]
- Ton Vullinghs, Daniel Tuinman, Wolfram Schulte
Lightweight GUIs for Functional Programming [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:341-356 [Conf]
- Hugh McEvoy, Pieter H. Hartel
Local Linear Logic for Locality Consciousness in Multiset Transformation [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:357-379 [Conf]
- Jean-Hugues Réty
The Notion of Floundering for SLDNF-Resolution Revisited [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:380-396 [Conf]
- Puri Arenas-Sánchez, Agostino Dovier
Minimal Set Unification [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:397-414 [Conf]
- Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh
Goal-Directed Query Processing in Disjunctive Logic Databases [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:415-430 [Conf]
- Livio Colussi, Elena Marchiori, Massimo Marchiori
A Dataflow Semantics for Constraint Logic Programs [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:431-448 [Conf]
- Peter Achten
A Functional Framework for Deterministically Interleaved Interactive Programs [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:451-452 [Conf]
- Puri Arenas-Sánchez, Ana Gil-Luezas
A Debugging Model for Lazy Narrowing [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:453-454 [Conf]
- Xavier Burgués Illa, Xavier Franch
Evaluation of Expressions in a Multiparadigm Framework [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:455-456 [Conf]
- Werner Hans, Fernando Sáenz, Stephan Winkler
An Expression-Or-Parallel Implementation for a Functional Logic Language [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:457-458 [Conf]
- Merik Meriste, Jaan Penjam
Attributed Models of Executable Specifications [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:459-460 [Conf]
- Hüseyin Saglam, John P. Gallagher
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:461-462 [Conf]
- Bo-Ming Tong, Ho-fung Leung
Performance of A Data-Parallel Concurrent Constraint Programming System [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:463-464 [Conf]
- Jens E. Wunderwald
A Portable Implementation of Memoing Evaluation [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:465-466 [Conf]
|
