A definition of an ISWIM-like language via scheme

  title={A definition of an ISWIM-like language via scheme},
  author={Mirjana Ivanovi{\'c} and Zoran Budimac},
  journal={ACM SIGPLAN Notices},
A full definition of a purely functional lSWIM-like language is given in the paper. A set of transformation rules for the translation of ISWlM expressions to expressions of a widely accepted Scheme programming language is given. The paper is supported with appropriate examples of equivalent expressions in both languages. 


Revised4 report on the algorithmic language scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis
The next 700 programming languages
A family of unimplemented computing languages is described that is intended to span differences of application area by a unified framework. This framework dictates the rules about the uses of
The Mechanical Evaluation of Expressions
It is shown how some forms of expression in current programming languages can be modelled in Church's X-notation, and a way of "interpreting" such expressions is described, which suggests a method of analyzing the things computer users write.
Conception, evolution, and application of functional programming languages
The foundations of functional programming languages are examined from both historical and technical perspectives, and current research areas—such as parallelism, nondeterminism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.
Functional programming - practice and theory
It's significant to wait for the representative and beneficial books to read to find the feeling to read this book when you find it.
LISP by Examples. Institute of Mathematics
  • LISP by Examples. Institute of Mathematics
  • 1991
LANDIN: The Mechanical Evaluation of Expressions
  • Comp. Journal 6(1964),
  • 1989
TO~Id: LISP by Examples
  • Institute of Mathematics, Novi Sad,
  • 1991
The Next 700 Programming Languages Functional Programming -Practice and Theory
  • Comm. of ACM P. J. LANDIN: The Mechanical Evaluation of Expressions. Comp. Journal
  • 1964