# nLab programming language

Contents

### Context

#### Constructivism, Realizability, Computability

intuitionistic mathematics

category theory

# Contents

## Idea

A formal language (theory) for expressing programs. Used and studied in computer science.

## References

Use of adjunctions in programming languages:

• Ralf Hinze, Generic Programming with Adjunctions, In: J. Gibbons (ed.) Generic and Indexed Programming Lecture Notes in Computer Science, vol 7470. Springer 2012 (pdf, slides doi:10.1007/978-3-642-32202-0_2)

• Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu, Relational Algebra by Way of Adjunctions, Proceedings of the ACM on Programming Languages archive Volume 2 Issue ICFP, September 2018 Article No. 86 (pdf, doi:10.1145/3236781)

Last revised on June 26, 2019 at 10:31:42. See the history of this page for a list of all contributions to it.