progscrape: cs.ox.ac.uk

Kan Extensions for Program Optimisation (2012)

7 months ago cs.ox.ac.uk compiler math pdf plt

Phases in Software Architecture (Architectural Pearl)

12 months ago cs.ox.ac.uk pdf plt

The Symbol Grounding Problem (1990) [pdf]

12 months ago cs.ox.ac.uk pdf

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

2 years ago cs.ox.ac.uk

Unifying Structured Recursion Schemes [pdf] (2013)

3 years ago cs.ox.ac.uk pdf

Functional Programming for Domain-Specific Languages (2013)

4 years ago cs.ox.ac.uk

What You Needa Know about Yoneda

4 years ago cs.ox.ac.uk

Functional Pearl: Enumerating the Rationals

5 years ago cs.ox.ac.uk

Comprehending Ringads (2016)

6 years ago cs.ox.ac.uk

Oxford Uni Software Engineering Mathematics. Does anyone know of an equivalent book / online course?

6 years ago cs.ox.ac.uk

Authentication vulnerability in most recent 5G drafts, found by formal methods

6 years ago cs.ox.ac.uk

Quicksort (1961)

6 years ago cs.ox.ac.uk

Precise Verification of C Programs (2014) (dissertation)

7 years ago cs.ox.ac.uk c

Functional Pearls

7 years ago cs.ox.ac.uk

The essence of the iterator pattern

8 years ago cs.ox.ac.uk

Arithmetic coding with folds and unfolds (2003)

8 years ago cs.ox.ac.uk

Linearizability Testing Manual

8 years ago cs.ox.ac.uk

The Fun of Programming – Gibbons, de Moer and Bird (2003)

8 years ago cs.ox.ac.uk

The Essence of the Iterator Pattern

8 years ago cs.ox.ac.uk

On the Security of Password Manager Database Formats (2012)

9 years ago cs.ox.ac.uk database

Oxford University Machine Learning Course

9 years ago cs.ox.ac.uk

Categories for the Practicing Physicist (2009) [pdf]

10 years ago cs.ox.ac.uk pdf

Lectures on Constructive Functional Programming (1988) [pdf]

10 years ago cs.ox.ac.uk pdf