progscrape: plt

Elixir v1.20: Now a gradually typed language

2 months ago elixir-lang.org elixir plt

Record type inference for dummies

42 days ago haskellforall.com plt

ATS Programming Language

56 days ago cs.bu.edu plt

A Brief Introduction to Icon

54 days ago cs.arizona.edu plt

A Survey of Inlining Heuristics

2 months ago bernsteinbear.com plt

Nontrailing separators do not spark joy

55 days ago buttondown.com plt

Evaluation order and nontermination in query languages

36 days ago rntz.net database plt

Typst: Designing for Incrementality

36 days ago youtu.be plt video

A Typed, Algebraic Approach to Parsing (2019)

37 days ago cl.cam.ac.uk pdf plt

A Core Calculus for Documents (2024)

37 days ago dl.acm.org pdf plt

Safe Made Easy Pt.1: Single Ownership is (Not) Optional

2 months ago ergeysay.github.io plt

Rhombus Language 1.0

43 days ago blog.racket-lang.org lisp plt

Lifting E-Graphs

52 days ago philipzucker.com plt

Solod v0.2: Networking, new targets, friendlier interop

36 days ago antonz.org go networking plt

Why languages should never reorder structs

46 days ago youtu.be plt video

Type Inference (Part 1)

39 days ago blog.akhil.cc compiler plt

Deconstructing Datalog

53 days ago rntz.net logiclangs plt

Datalog

50 days ago philipzucker.com logiclangs plt

Control Structures in Programming Languages

50 days ago xavierleroy.org book plt

Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023)

46 days ago thenewstack.io historical plt vim

Recent improvements to the Swift type checker

2 months ago forums.swift.org plt swift

Implementing a Custom Query Language with Python and Apache Spark

42 days ago nchammas.com database plt python

Diagramming Program Values by Spatial Refinement

2 months ago blog.brownplt.org plt visualization

Ergonomic overrides for Nixpkgs

59 days ago haskellforall.com nix plt

Bab: a family of hashing functions for p2p networks

54 days ago bab-hash.org distributed plt

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

56 days ago arxiv.org compsci plt

How TypeScript infers type variables

2 months ago norswap.com javascript plt typescript

How TypeScript distributes unions