Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin
No abstract available.
Related papers
- Review of "Real World OCaml: Functional Programming for the Masses" Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023 JFP 2024
- Introduction to the Special Issue on ESOP 2021 TOPLAS 2022
- Director Strings as Combinators TOPLAS 1988
- Type Classes in Haskell TOPLAS 1996
- Abstract Types Have Existential Type TOPLAS 1988
- Monadic encapsulation of effects: a revised approach (extended version) JFP 2001
- Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus ESOP 1994
- How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation ICFP 2017