danghica
- Karma
- 155
- Created
- 10 years ago
Recent Submissions
- 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)