| user: | danghica |
| created: | May 11, 2015 |
| karma: | 155 |
| 1. | So what is a “pure programming language” anyway?(researchblogs.cs.bham.ac.uk) |
| 2. | Basic introduction to functional programming using OCaml(researchblogs.cs.bham.ac.uk) |
| 3. | Compilers are lazy denotational interpreters(researchblogs.cs.bham.ac.uk) |
| 4. | A simple proof checker to use in teaching(researchblogs.cs.bham.ac.uk) |
| 5. | Algebraic knot theory for kids: equations(researchblogs.cs.bham.ac.uk) |
| 6. | The limits of type theory: computation vs. interaction(researchblogs.cs.bham.ac.uk) |