Search: researchblogs.cs.bham.ac.uk | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A short fable of software engineering vs. regular engineering

researchblogs.cs.bham.ac.uk

10 years ago

111 points

2.

The limits of type theory: computation vs. interaction

researchblogs.cs.bham.ac.uk

11 years ago

81 points

3.

What things compute?

researchblogs.cs.bham.ac.uk

11 years ago

50 points

4.

Computability: The Greatest Law of Physics

researchblogs.cs.bham.ac.uk

11 years ago

48 points

5.

Inventing an algebraic knot theory for eight year olds (III)

researchblogs.cs.bham.ac.uk

11 years ago

46 points

6.

Algebraic knot theory for kids: equations

researchblogs.cs.bham.ac.uk

11 years ago

42 points

7.

Inventing an algebraic knot theory for eight year olds, part 4: Equations

researchblogs.cs.bham.ac.uk

11 years ago

9 points

8.

So what is a “pure programming language” anyway?

researchblogs.cs.bham.ac.uk

10 years ago

5 points

9.

Basic introduction to functional programming using OCaml

researchblogs.cs.bham.ac.uk

10 years ago

4 points

10.

Compilers are lazy denotational interpreters

researchblogs.cs.bham.ac.uk

10 years ago

4 points

11.

Two views of programming language design (2014)

researchblogs.cs.bham.ac.uk

11 years ago

3 points

12.

The category of cardboard rectangles and bits of wool string

researchblogs.cs.bham.ac.uk

12 years ago

3 points

13.

Dana Scott tells the real story of why the lambda in the lambda-calculus

researchblogs.cs.bham.ac.uk

10 years ago

3 points

14.

Inventing a knot theory for eight year olds (I) (2015)

researchblogs.cs.bham.ac.uk

9 years ago

2 points

15.

Categorical semantics for digital circuits

researchblogs.cs.bham.ac.uk

10 years ago

2 points

16.

A simple proof checker to use in teaching

researchblogs.cs.bham.ac.uk

11 years ago

2 points