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  health  psychology  trump  arstechnica.com  psypost.org  environment  vibecoding  go  show  apple  neuroscience  nature.com  security  java  javascript  game  web 

C. Hoare: Hints on programming language design (1973) [pdf]

22 months ago flint.cs.yale.edu c pdf

An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

5 years ago flint.cs.yale.edu

Why ML/OCaml are good for writing compilers

8 years ago flint.cs.yale.edu compiler

CertiKOS: An Extenisble Architecture for Building Certified Concurrent OS Kernels

8 years ago flint.cs.yale.edu

Why ML/OCaml are good for writing compilers (1998)

9 years ago flint.cs.yale.edu compiler