“Programming Languages”

programming languages

Go Zero Values Make Sense

April 7, 2025

rust

What would it take to add refinement types to Rust?

December 22, 2024

rust

Possibly one step towards named arguments in Rust

August 8, 2020

Mozilla

Units of Measure in Rust with Refinement Types

January 17, 2020

Mozilla

HolyJIT: Could we write a multi-staged JIT compiler?

March 6, 2018

Rust

Typestates in Rust

February 22, 2018