CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs

Andy Mück. CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs. In Maurice Bruynooghe, Martin Wirsing, editors, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings. Volume 631 of Lecture Notes in Computer Science, pages 341-354, Springer, 1992.

@inproceedings{Muck92,
  title = {CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs},
  author = {Andy Mück},
  year = {1992},
  tags = {functional programming, logic programming, compiler, logic, abstract machine},
  researchr = {https://researchr.org/publication/Muck92},
  cites = {0},
  citedby = {0},
  pages = {341-354},
  booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings},
  editor = {Maurice Bruynooghe and Martin Wirsing},
  volume = {631},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55844-6},
}