Functional programming with combinators
From MaRDI portal
Publication:1098628
DOI10.1016/S0747-7171(87)80009-3zbMATH Open0637.68041MaRDI QIDQ1098628FDOQ1098628
Authors: Jacek Gibert 
Publication date: 1987
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Cites Work
- Algebras and combinators
- Recursive functions of symbolic expressions and their computation by machine, Part I
- The lambda calculus, its syntax and semantics
- MULTILISP: a language for concurrent symbolic computation
- Categorical combinators
- A linear space translation of functional programs to Turner combinators
- A new implementation technique for applicative languages
- Can programming be liberated from the von Neumann style?
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Development of the Algebra of Functional Programs
- What is a model of the lambda calculus?
- More on advice on structuring compilers and proving them correct
- Title not available (Why is that?)
- Another algorithm for bracket abstraction
- Title not available (Why is that?)
- An abstraction algorithm for combinatory logic
- Dataflow computing and Eager and Lazy evaluations
- \(\lambda\)-definability and recursiveness
- Title not available (Why is that?)
- Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
- Title not available (Why is that?)
- Functional programming with combinators
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The use of combinators in translating a purely functional language to low-level data-flow graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (1)
Uses Software
This page was built for publication: Functional programming with combinators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1098628)
