6 years ago|discuss
user: danghica
155 karma | created 10 years ago
recent submissions
6 years ago|discuss
6 years ago|discuss
8 years ago|discuss
So what is a “pure programming language” anyway?
(researchblogs.cs.bham.ac.uk)
5 pts|10 years ago|discuss
Basic introduction to functional programming using OCaml
(researchblogs.cs.bham.ac.uk)
4 pts|10 years ago|discuss
Compilers are lazy denotational interpreters
(researchblogs.cs.bham.ac.uk)
4 pts|10 years ago|discuss
10 years ago|discuss
10 years ago|discuss
10 years ago|discuss
A simple proof checker to use in teaching
(researchblogs.cs.bham.ac.uk)
2 pts|10 years ago|discuss
10 years ago|discuss
10 years ago|discuss
10 years ago|discuss
10 years ago|discuss
10 years ago|discuss
Algebraic knot theory for kids: equations
(researchblogs.cs.bham.ac.uk)
42 pts|10 years ago|3 comments
10 years ago|discuss
10 years ago|discuss
10 years ago|discuss