danghica
- Karma
- 155
- Created
- May 11, 2015 (11y ago)
- Submissions
- 0
- So what is a “pure programming language” anyway? (researchblogs.cs.bham.ac.uk)
- Basic introduction to functional programming using OCaml (researchblogs.cs.bham.ac.uk)
- Compilers are lazy denotational interpreters (researchblogs.cs.bham.ac.uk)
- A simple proof checker to use in teaching (researchblogs.cs.bham.ac.uk)
- Algebraic knot theory for kids: equations (researchblogs.cs.bham.ac.uk)
- The limits of type theory: computation vs. interaction (researchblogs.cs.bham.ac.uk)