References
J. Gibert, Functional Programming with Combinators, in Proceedings of the Logic and Computation Conference, vol. 1, J. N. Crossley and J. Jaffar, (eds.), Monash University, Australia, JAN 1984.
J. Gibert, J-Machine User's Manual, Technical Report 84/10, University of Melbourne, Parkville, Australia, SEP 1984.
J. Gibert, Functional Programming with Combinators, to appear in Journal of Symbolic Computation, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gibert, J. (1986). The J-machine: Functional programming with combinators. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_136
Download citation
DOI: https://doi.org/10.1007/3-540-16780-3_136
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16780-8
Online ISBN: 978-3-540-39861-5
eBook Packages: Springer Book Archive