progscrape: cs.bham.ac.uk

Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

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

16 days ago cs.bham.ac.uk game pdf security

A Typed Foundation for Directional Logic Programming

24 days ago cs.bham.ac.uk ai pdf plt

Introduction to Univalent Foundations of Mathematics with Agda

12 months ago cs.bham.ac.uk

The Pop-11 Programming Language

2 years ago cs.bham.ac.uk

Writing a Simple Operating System – From Scratch

2 years ago cs.bham.ac.uk

Domain Theory (1994)

3 years ago cs.bham.ac.uk

Introduction to Homotopy Type Theory and Univalent Foundations (HoTT/UF) with Agda

3 years ago cs.bham.ac.uk

Jane Austen's concept of information (Not Claude Shannon's) (2013)

3 years ago cs.bham.ac.uk

Introduction to Univalent Foundations of Mathematics with Agda, by Martín Escardó [lecture notes]

5 years ago cs.bham.ac.uk

Continuations in Natural Language

5 years ago cs.bham.ac.uk

An introduction to C++ template programming (2016)

6 years ago cs.bham.ac.uk c++

A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom

6 years ago cs.bham.ac.uk

A Short Introduction to the Lambda Calculus (2004)

7 years ago cs.bham.ac.uk lambda

Contextual Isomorphisms. Paul Blain Levy, 2017

8 years ago cs.bham.ac.uk

Categorical semantics of digital circuits

8 years ago researchblogs.cs.bham.ac.uk

Abstract Datatypes for Real Numbers in Type Theory [PDF]

8 years ago cs.bham.ac.uk pdf

Writing a Simple Operating System From Scratch (2010)

8 years ago cs.bham.ac.uk

Why is lambda calculus named after that specific Greek letter? Do not believe the rumours!

8 years ago researchblogs.cs.bham.ac.uk lambda

A short fable of software engineering vs. regular engineering

8 years ago researchblogs.cs.bham.ac.uk

Computability: The Greatest Law of Physics

9 years ago researchblogs.cs.bham.ac.uk

A Simple Proof Checker for Teaching

9 years ago researchblogs.cs.bham.ac.uk

What things compute?

9 years ago researchblogs.cs.bham.ac.uk

A Synonym-Substitution Based Algorithm for Text Steganography (2012)

9 years ago cs.bham.ac.uk algorithm

Algebraic knot theory for kids: equations

9 years ago researchblogs.cs.bham.ac.uk

Two views of programming language design

9 years ago researchblogs.cs.bham.ac.uk

The limits of type theory: computation vs. interaction

9 years ago researchblogs.cs.bham.ac.uk

Imperative Functional Programming

9 years ago cs.bham.ac.uk

Using Yoneda rather than J to present the identity type

9 years ago cs.bham.ac.uk

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

9 years ago researchblogs.cs.bham.ac.uk

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

9 years ago researchblogs.cs.bham.ac.uk