Skip to content

Top New Best Ask Show Jobs

danghica | Better HN

user

danghica

155 karmaJoined May 11, 201528 submissions

Recent submissions

1

So what is a “pure programming language” anyway? (opens in new tab)

researchblogs.cs.bham.ac.uk

5danghica10y ago0

2

Basic introduction to functional programming using OCaml (opens in new tab)

researchblogs.cs.bham.ac.uk

4danghica10y ago0

3

Compilers are lazy denotational interpreters (opens in new tab)

researchblogs.cs.bham.ac.uk

4danghica10y ago0

4

A simple proof checker to use in teaching (opens in new tab)

researchblogs.cs.bham.ac.uk

2danghica10y ago0

5

Algebraic knot theory for kids: equations (opens in new tab)

researchblogs.cs.bham.ac.uk

42danghica10y ago3

6

The limits of type theory: computation vs. interaction (opens in new tab)

researchblogs.cs.bham.ac.uk

81danghica10y ago66