Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  trump  psychology  health  microsoft  linux  psypost.org  video  google  go  security  theregister.com  arstechnica.com  game  apple  show  nature.com  vibecoding 

Space-filling curves, constructively

10 months ago math.andrej.com

How to implement dependent type theory I (2012)

24 months ago math.andrej.com compiler ml plt

How to implement type theory in an hour (2018)

2 years ago math.andrej.com ml plt

Seemingly Impossible Functional Programs

3 years ago math.andrej.com

Representations of Uncomputable and Uncountable Sets (2008)

3 years ago math.andrej.com

The Dawn of Formalized Mathematics

3 years ago math.andrej.com

Computing an integer using a Grothendieck topos

4 years ago math.andrej.com

A general definition of dependent type theories

4 years ago math.andrej.com

Seemingly impossible functional programs

4 years ago math.andrej.com

Sometimes all functions are continuous (2006)

5 years ago math.andrej.com

Derivations as computations, by Andrej Bauer: "we think of a derivation as a computation tree showing how to compute its conclusion." [abstract + link to PDF of slides]

5 years ago math.andrej.com pdf

How to implement type theory in an hour

6 years ago math.andrej.com

Proof of negation and proof by contradiction (2010)

8 years ago math.andrej.com

The new and improved Programming languages zoo

8 years ago math.andrej.com

Hask is not a category

8 years ago math.andrej.com

The Andromeda proof assistant (Leeds workshop slides): " Andromeda ..

8 years ago math.andrej.com

A Brown-Palsberg self-interpreter for Gödel’s System T

9 years ago math.andrej.com

Seemingly impossible functional programs (2007)

9 years ago math.andrej.com

How to implement dependent type theory (Part I)

9 years ago math.andrej.com