Towards a constraint functional logic compiler for symbolic computation systems

  • Georgios Grivas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 844)


  1. 1.
    G. Grivas. Efficient Integration of declarative paradigms into symbolic computation systems. In Proc. of ICLP'94 Post-Conference Workshop on Integration of Declarative Paradigms, Santa Margherita, Italy, June 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Georgios Grivas
    • 1
  1. 1.Department of Computer ScienceETHZürich

Personalised recommendations