Corpus ID: 7005445

Syntax and Semantics of Babel-17

@article{Obua2010SyntaxAS,
  title={Syntax and Semantics of Babel-17},
  author={Steven Obua},
  journal={ArXiv},
  year={2010},
  volume={abs/1012.2294}
}
We present Babel-17, the first programming language for purely functional structured programming (PFSP). Earlier work illustrated PFSP in the framework of a toy research language. Babel-17 takes this earlier work to a new level by showing how PFSP can be combined with pattern matching, object oriented programming, and features like concurrency, lazy evaluation, memoization and support for lenses. 
Compiling Purely Functional Structured Programs

References

Definition of standard ML