An introduction to functional programming through lambda calculus

@inproceedings{Michaelson1989AnIT,
  title={An introduction to functional programming through lambda calculus},
  author={Greg J. Michaelson},
  booktitle={International computer science series},
  year={1989}
}
Pictured above you can see on the left the 206 bit binary lambda calculus (blc) latest paper available in PostScript and PDF, and in somewhat less detail in Wikipedia. including a Lambda tutorial and some highly minimalistic languages. λ-calculus. Operational Semantics. Lambda Calculus as a Functional Language. Food for Tought. Outline. 1 λ-calculus. 2. Operational Semantics. Syntax. numbers, topology, the real numbers, fibre bundles, calculus and manifolds, No previous familiarity with lambda… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 25 CITATIONS

Interpreter prototypes from formal language definitions

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Derivation of symbolic-based embedded feedback control stabilization expressions with experimentation

  • 2017 Intl Conf on Advanced Control Circuits Systems (ACCS) Systems & 2017 Intl Conf on New Paradigms in Electronics & Information Technology (PEIT)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

Towards formal proofs of feedback control theory

  • 2017 21st International Conference on System Theory, Control and Computing (ICSTCC)
  • 2017
VIEW 2 EXCERPTS
CITES BACKGROUND

Power-Laws and Structure in Functional Programs

  • 2014 International Conference on Computational Science and Computational Intelligence
  • 2014
VIEW 1 EXCERPT
CITES BACKGROUND

An Introduction to Lambda Calculus and Functional Programming

  • 2013 2nd Workshop-School on Theoretical Computer Science
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

Languages, Tools & Architectures, ed

P. Harrison, H. Khoshnevisan, FP “AnIntroductionto, the FP Style of Programming, ” in Functional Programming
  • S. Eisenbach, Ellis Horwood, Chichester,
  • 1987
VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL

Structure and interpretation of computer programs

  • Proceedings of the IEEE
  • 1986
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

A first course in computability

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

An Introduction to PS-algol Programming,

R. Carrick, J. Cole, R. Morrison
  • PPRR 31, Dept. of Computational Science,
  • 1986
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

The science of programming springer-verlag

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

The Theory of Computer Science: A Programming Approach

J. M. Brady
  • 1977
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Recursive programming techniques

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…