progscrape: plt

Linear Matching of JavaScript Regular Expressions

38 days ago dl.acm.org javascript plt

Types of Types: Common to Exotic

52 days ago stephendiehl.com plt

Janet Feature Demos

38 days ago github.com lisp plt

My first verified imperative program

46 days ago markushimmel.de formalmethods plt

Jai Demo and Design Explanation

43 days ago youtube.com plt video

Writing an IR from Scratch and survive to write a post

43 days ago farena.in compiler plt

A parser and interpreter for a very small language

32 days ago blog.ploeh.dk haskell parser plt

Kernel

30 days ago web.cs.wpi.edu kernel lisp plt

A catamorphic lambda-calculus interpreter

50 days ago michaelpj.com haskell plt

All Programming Languages are Fast

46 days ago orgpad.info clojure plt

What is isomorphism?

53 days ago ugbasic.iwashere.eu plt retrocomputing

Inequality Union Finds: Baby Steps to Refinement E-graphs

51 days ago philipzucker.com formalmethods plt

C3 solved memory lifetimes with scopes

43 days ago c3-lang.org c compiler plt

Bash patch - Add shopt for implicit && in place of ; for functions end of lines

40 days ago savannah.gnu.org bash linux plt unix

Summary of the May 2025 TC39 plenary

45 days ago blogs.igalia.com browsers javascript plt web

Programming as Theory Building

51 days ago pablo.rauzy.name pdf plt

Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods

45 days ago cs.uoregon.edu education formalmethods plt video

Programming Languages: Application and Interpretation (3rd edition)

26 days ago plai.org book lisp pdf plt

Zig-style generics are not well-suited for most languages (2022)

2 months ago typesanitizer.com plt zig

Of Course ML Has Monads (2011)

2 months ago existentialtype.wordpress.com haskell ml plt

Zero-Cost 'Tagless Final' in Rust with GADT-style Enums

2 months ago inferara.com plt rust

Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development [pdf]

55 days ago media.defense.gov pdf plt security

The unreasonable effectiveness of fuzzing for porting programs

2 months ago rjp.io plt rust vibecoding

Helix: A Modern, High-Performance Language

54 days ago github.com plt

Lifetime Dispersion and Generational GC: An Intellectual Abstract

2 months ago dl.acm.org plt

The Less Humble Programmer (2023)

2 months ago digitalhumanities.org plt

Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming

2 months ago contextgeneric.dev plt release rust

Structuring Arrays with Algebraic Shapes

56 days ago dl.acm.org pdf plt

Smalltalk, Haskell and Lisp

2 months ago storytotell.org haskell lisp plt

Public/protected/private is an unnecessary feature

2 months ago catern.com plt

>progscrape ▒

All the news that's fit to scrape

Display options