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

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Compilers are lazy denotational interpreters

researchblogs.cs.bham.ac.uk

10 years ago

4 points

32.

Two views of programming language design (2014)

researchblogs.cs.bham.ac.uk

11 years ago

3 points

33.

ANTLR Parsing made easy [pdf]

supportweb.cs.bham.ac.uk

11 years ago

3 points

34.

The category of cardboard rectangles and bits of wool string

researchblogs.cs.bham.ac.uk

12 years ago

3 points

35.

Writing a Simple Operating System from Scratch (2010) [pdf]

3 years ago

3 points

36.

From the Chinese Room Argument to the Church-Turing Thesis [pdf]

4 years ago

3 points

37.

Introduction to Univalent Foundations of Mathematics with Agda

4 years ago

3 points

38.

Introduction to Univalent Foundations of Mathematics with Agda

5 years ago

3 points

39.

Data Structures and Algorithms [pdf]

6 years ago

3 points

40.

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

researchblogs.cs.bham.ac.uk

10 years ago

3 points

41.

Linear Logic and Linear Algebra (2013) [pdf]

7 years ago

2 points

42.

ShowHN: Building an OS... From Scratch

12 years ago

2 points

43.

Call-by-push-value: decomposing call-by-value and call-by-name [pdf]

2 years ago

2 points

44.

Call-By-Push-Value

15 years ago

2 points

45.

Virtual Machines And Consciousness (2015) [pdf]

4 years ago

2 points

46.

Constructive Mathematics and Higher Topos Theory [pdf]

7 years ago

2 points

47.

Midlands Graduate School in the Foundations of Computing Science

events.cs.bham.ac.uk

7 years ago

2 points

48.

Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification [pdf]

8 years ago

2 points

49.

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

researchblogs.cs.bham.ac.uk

9 years ago

2 points

50.

What Sequential Games, Tychonoff Theorem and Double-Negation Shift Have in Common

10 years ago

2 points

51.

Categorical semantics for digital circuits

researchblogs.cs.bham.ac.uk

10 years ago

2 points

52.

Logical Relations and Parametricity [pdf]

10 years ago

2 points

53.

Infinite sets that admit fast exhaustive search (2007) [pdf]

11 years ago

2 points

54.

A simple proof checker to use in teaching

researchblogs.cs.bham.ac.uk

11 years ago

2 points

55.

The Essence of Reynolds

12 years ago

1 points

56.

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

14 years ago

1 points

57.

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

2 years ago

1 points

58.

A Typed Foundation for Directional Logic Programming [pdf]

2 years ago

1 points

59.

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

2 years ago

1 points

60.

Kinds of Programming for Learners (2015)

4 years ago

1 points