HN
Hacker News
Top
New
Best
Ask
Show
Jobs
danghica
155 karma · joined May 11, 2015
submissions
comments
So what is a “pure programming language” anyway?
researchblogs.cs.bham.ac.uk
·
5 pts
·
danghica
·
0
Basic introduction to functional programming using OCaml
researchblogs.cs.bham.ac.uk
·
4 pts
·
danghica
·
0
Compilers are lazy denotational interpreters
researchblogs.cs.bham.ac.uk
·
4 pts
·
danghica
·
0
A simple proof checker to use in teaching
researchblogs.cs.bham.ac.uk
·
2 pts
·
danghica
·
0
Algebraic knot theory for kids: equations
researchblogs.cs.bham.ac.uk
·
42 pts
·
danghica
·
3
The limits of type theory: computation vs. interaction
researchblogs.cs.bham.ac.uk
·
81 pts
·
danghica
·
66