| | A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom (bham.ac.uk) |
|
57 points by jessup on March 1, 2018 | past | 15 comments
|
|
| | Machine Learning and Alternative Data Approach to Investing [pdf] (bham.ac.uk) |
|
3 points by abhi_arora on Dec 1, 2017 | past
|
|
| | Why Is the Lucas-Penrose Argument Invalid? (bham.ac.uk) |
|
1 point by lainon on July 14, 2017 | past
|
|
| | Inventing a knot theory for eight year olds (I) (2015) (bham.ac.uk) |
|
2 points by CarolineW on June 9, 2017 | past
|
|
| | What Sequential Games, Tychonoff Theorem and Double-Negation Shift Have in Common (bham.ac.uk) |
|
2 points by espeed on Dec 18, 2016 | past
|
|
| | A Short Introduction to the Lambda Calculus (2004) [pdf] (bham.ac.uk) |
|
166 points by kumaranvpl on Dec 7, 2016 | past | 18 comments
|
|
| | Categorical semantics for digital circuits (bham.ac.uk) |
|
2 points by theaeolist on Sept 2, 2016 | past
|
|
| | Logical relations and parametricity (bham.ac.uk) |
|
1 point by _qc3o on Aug 30, 2016 | past
|
|
| | Logical Relations and Parametricity [pdf] (bham.ac.uk) |
|
2 points by _qc3o on Aug 29, 2016 | past
|
|
| | Lock it and still lose it [pdf] (bham.ac.uk) |
|
1 point by blumentopf on Aug 11, 2016 | past
|
|
| | Writing a Simple Operating System From Scratch (2010) [pdf] (bham.ac.uk) |
|
73 points by ingve on June 5, 2016 | past | 10 comments
|
|
| | Dana Scott tells the real story of why the lambda in the lambda-calculus (bham.ac.uk) |
|
3 points by theaeolist on May 13, 2016 | past
|
|
| | So what is a “pure programming language” anyway? (bham.ac.uk) |
|
5 points by danghica on April 16, 2016 | past
|
|
| | Basic introduction to functional programming using OCaml (bham.ac.uk) |
|
4 points by danghica on Jan 28, 2016 | past
|
|
| | Compilers are lazy denotational interpreters (bham.ac.uk) |
|
4 points by danghica on Jan 12, 2016 | past
|
|
| | A short fable of software engineering vs. regular engineering (bham.ac.uk) |
|
111 points by theaeolist on Jan 10, 2016 | past | 91 comments
|
|
| | Infinite sets that admit fast exhaustive search (2007) [pdf] (bham.ac.uk) |
|
2 points by espeed on Nov 15, 2015 | past
|
|
| | Computability: The Greatest Law of Physics (bham.ac.uk) |
|
48 points by theaeolist on Nov 10, 2015 | past | 14 comments
|
|
| | A simple proof checker to use in teaching (bham.ac.uk) |
|
2 points by danghica on Sept 1, 2015 | past
|
|
| | What things compute? (bham.ac.uk) |
|
50 points by theaeolist on Aug 31, 2015 | past | 29 comments
|
|
| | A Synonym-Substitution Based Algorithm for Text Steganography (2012) [pdf] (bham.ac.uk) |
|
24 points by n-s-f on July 22, 2015 | past | 18 comments
|
|
| | Two views of programming language design (2014) (bham.ac.uk) |
|
3 points by signa11 on June 19, 2015 | past
|
|
| | Algebraic knot theory for kids: equations (bham.ac.uk) |
|
42 points by danghica on June 17, 2015 | past | 3 comments
|
|
| | The limits of type theory: computation vs. interaction (bham.ac.uk) |
|
81 points by danghica on June 8, 2015 | past | 66 comments
|
|
| | Inventing an algebraic knot theory for eight year olds, part 4: Equations (bham.ac.uk) |
|
9 points by theaeolist on May 17, 2015 | past | 2 comments
|
|
| | Imperative Functional Programming (1996) [pdf] (bham.ac.uk) |
|
42 points by brudgers on May 16, 2015 | past | 31 comments
|
|
| | Using Yoneda rather than J to present the identity type (bham.ac.uk) |
|
7 points by colinprince on May 11, 2015 | past
|
|
| | Inventing an algebraic knot theory for eight year olds (III) (bham.ac.uk) |
|
46 points by theaeolist on May 11, 2015 | past | 20 comments
|
|
| | Towards native higher-order remote procedure calls [pdf] (bham.ac.uk) |
|
11 points by luu on March 1, 2015 | past
|
|
| | ANTLR Parsing made easy [pdf] (bham.ac.uk) |
|
3 points by colund on Dec 23, 2014 | past
|
|
|
|
More |
