Search: bham.ac.uk | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

A simple proof checker to use in teaching

researchblogs.cs.bham.ac.uk

11 years ago

2 points

62.

Minesweeper and NP-completeness

for.mat.bham.ac.uk

12 years ago

1 points

63.

The Essence of Reynolds

12 years ago

1 points

64.

Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems

14 years ago

1 points

65.

Anti-Cheat: Attacks and the Effectiveness of Client-Side Defences [pdf]

2 years ago

1 points

66.

A Typed Foundation for Directional Logic Programming [pdf]

2 years ago

1 points

67.

Call-by-push-value. (1999) [pdf]

2 years ago

1 points

68.

Infinite versions of minesweeper are Turing complete [pdf]

web.mat.bham.ac.uk

2 years ago

1 points

69.

"Why do you need a machine" DNA sequencer on a USB stick

pathogenomics.bham.ac.uk

14 years ago

1 points

70.

Kinds of Programming for Learners (2015)

4 years ago

1 points

71.

Looking through the windows in Stoker’s Dracula (2020)

blog.bham.ac.uk

5 years ago

1 points

72.

The Essence of Reynolds – “The Master” of PL Theory [pdf]

7 years ago

1 points

73.

Why Is the Lucas-Penrose Argument Invalid?

9 years ago

1 points

74.

Logical relations and parametricity

10 years ago

1 points

75.

Lock it and still lose it [pdf]

10 years ago

1 points