---
layout: plt
title: programming language theory
---

<br>
<br>
<br>
<br>
<br>

# programming language theory

constructs
- [types](types)
- [continuations](continuations)
- [effects](effects)
- [modules](modules)
- monads

formalisms
- syntax
- semantics
- formal verification
- paradigms

computation
- propositions as types
- [the lambda calculus](lambda-calculus)
- turing machines
- [interaction nets](interaction-nets)
- combinators