danghica
No user record in our sample, but danghica has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
- 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)
- The limits of type theory: computation vs. interaction (researchblogs.cs.bham.ac.uk)