The J-machine: Functional programming with combinators

  • Jacek Gibert
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)


  1. [Gibert84a]
    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.Google Scholar
  2. [Gibert84b]
    J. Gibert, J-Machine User's Manual, Technical Report 84/10, University of Melbourne, Parkville, Australia, SEP 1984.Google Scholar
  3. [Gibert86]
    J. Gibert, Functional Programming with Combinators, to appear in Journal of Symbolic Computation, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jacek Gibert
    • 1
  1. 1.Department of Computer ScienceUniversity of MelbourneParkvilleAustralia

Personalised recommendations