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  microsoft  vibecoding  web  environment  go  trump  china  psychology  security  brain  video  google  youtube.com  game  psypost.org  neuroscience 

What's higher-order about so-called higher-order references?

33 days ago williamjbowman.com plt

Bibliography of Scheme-related Research (2012)

16 days ago web.archive.org lisp plt

A Lisp adventure on the calm waters of the dead C

11 days ago mihaiolteanu.me c lisp plt

Raku's "core"

24 days ago gist.github.com perl plt

Implementing Logic Programming

22 days ago btmc.substack.com plt

Linearity and uniqueness

31 days ago kcsrk.info plt

Reflection and open implementations (2006)

15 days ago dcc.uchile.cl java lisp pdf plt

Fixing Letrec (Reloaded)

13 days ago legacy.cs.indiana.edu lisp pdf plt

Call by Meaning (2014)

13 days ago tinlizzie.org api pdf plt

CLIPS: An Elevator Pitch

30 days ago ryjo.codes c plt

Telescopes Are Tries: A Dependent Type Shellac on SQLite

13 days ago philipzucker.com database formalmethods plt

Handling bidirectional control flow

32 days ago dl.acm.org pdf plt

Red Language Reference Manual

32 days ago iment.com historical plt

Recovering control flow structures without CFGs

30 days ago purplesyringa.moe java plt

No More Shading Languages: Compiling C++ to Vulkan Shaders [pdf]

32 days ago xol.io c++ graphics pdf plt vulkan

Binary Lambda Calculus

30 days ago gist.github.com lambda math plt

Why Algebraic Effects?

44 days ago antelang.org plt

A break from programming languages

38 days ago lexi-lambda.github.io plt

Every programming language has its 'killer' domain

49 days ago huijzer.xyz plt

A poor man’s types

37 days ago blog.snork.dev plt

Mystical

49 days ago suberic.net art plt

Against Curry-Howard Mysticism

41 days ago liamoc.net plt

Algebraic Effects: Another mistake carried through to perfection?

57 days ago kjosib.github.io plt

Writing that changed how I think about programming languages

54 days ago bernsteinbear.com plt

Introducing virtual package in MoonBit

51 days ago moonbitlang.com plt

The penultimate conditional syntax

53 days ago dotat.at plt

Implement Your Language Twice

2 months ago futhark-lang.org plt

Newtyped Indices are Proofs

2 months ago eikopf.bearblog.dev plt rust

A case for intransitive operator precedence (2019)

54 days ago blog.adamant-lang.org plt

Data is code

52 days ago blog.information-superhighway.net plt

More →