Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  trump  psychology  linux  health  microsoft  show  apple  psypost.org  go  vibecoding  environment  web  brain  arstechnica.com  theguardian.com  theregister.com  java 

Of Course ML Has Monads! (2011)

33 hours ago existentialtype.wordpress.com haskell ml plt

Old Neglected Theorems Are Still Theorems

6 years ago existentialtype.wordpress.com

POPL 2018 Tutorial (Computational Type Theory)

7 years ago existentialtype.wordpress.com tutorial

Sequentiality as the Essence of Parallelism

7 years ago existentialtype.wordpress.com

Modules Matter Most (2011)

8 years ago existentialtype.wordpress.com

The Holy Trinity (Logic, Languages, Categories)

8 years ago existentialtype.wordpress.com

It Is What It Is (And Nothing Else) – Why Recursion Still Matters

9 years ago existentialtype.wordpress.com

The Power of Negative Thinking

9 years ago existentialtype.wordpress.com

Modules Matter Most (2011)

9 years ago existentialtype.wordpress.com

Dynamic Languages Are Static Languages

9 years ago existentialtype.wordpress.com

The Point of Laziness (2011)

10 years ago existentialtype.wordpress.com

The power of negative thinking

10 years ago existentialtype.wordpress.com

Oregon Programming Languages Summer School 2015

10 years ago existentialtype.wordpress.com

Haskell Is Exceptionally Unsafe

10 years ago existentialtype.wordpress.com haskell

Structure and Efficiency of Computer Programs

10 years ago existentialtype.wordpress.com

Summer of Programming Languages

10 years ago existentialtype.wordpress.com

Several new papers by Bob Harper and others

10 years ago existentialtype.wordpress.com