The SCEAS System
Navigation Menu

Conferences in DBLP

PHOENIX Workshops (phoenix)
1991 (conf/phoenix/1991)

  1. John Darlington, Yike Guo, Helen Pull
    A Design Space for Integrating Declarative Languages. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:3-19 [Conf]
  2. John Darlington, Yike Guo, Helen Pull
    Introducing Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:20-34 [Conf]
  3. Roland Dietrich
    How to Use Guarded Functional Programming. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:35-50 [Conf]
  4. Andreas Kågedal, Feliks Kluzniak
    Enriching Prolog with S-Unification. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:51-65 [Conf]
  5. Ross Paterson
    A Tiny Functional Language with Logical Features. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:66-79 [Conf]
  6. T. C. Nicholas Graham
    Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:83-100 [Conf]
  7. Koen Langendoen, William G. Vree
    Eight Queens Divided: an Experience in Parallel Functional Programming. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:101-115 [Conf]
  8. Andrew Verden, Hugh Glaser
    Intelligent Backtracking in And-Parallel Prolog. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:116-130 [Conf]
  9. Sophia Drossopoulou, Ross Paterson, Susan Eisenbach
    Parameterized Interfaces are Interfaces - AIAS. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:133-147 [Conf]
  10. Konstantin Läufer, Martin Odersky
    Type Classes are Signatures of Abstract Types. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:148-162 [Conf]
  11. Luís Monteiro, António Porto
    Syntactic and Semantic Inheritance in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:163-173 [Conf]
  12. P. H. Cheong, Laurent Fribourg
    A Survey of the Implementations of Narrowing. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:177-187 [Conf]
  13. Hendrik C. R. Lock
    A Systematic Method for Designing Abstract Narrowing Machines. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:188-203 [Conf]
  14. Roland Olsson
    Some Algorithms for Fast and Complete Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:204-223 [Conf]
  15. David Parrott, Chris D. Clack
    A Common Graphical Form. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:224-238 [Conf]
  16. Wolfram Schulte, Wolfgang Grieskamp
    Generating Efficient Portable Code for a Strict Applicative Language. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:239-252 [Conf]
  17. Erik Meijer
    More Advice on Proving a Compiler Correct: Improve a Correct Compiler. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:255-273 [Conf]
  18. Ed Voermans
    Pers as Types, Inductive Types and Types with Laws. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:274-291 [Conf]
  19. Marc-Michel Corsini, Kaninda Musumbu
    Failure Analysis Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:295-309 [Conf]
  20. Mark Korsloot, Evan Tick
    Sequentializing Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:310-324 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002