Stories by azhenley

Whiley: A Programming Language with Extended Static Checking

The Cube Rule of Food Identification

Hazel: A live functional programming environment featuring typed holes

Abstracting Abstract Machines (2010) [pdf]

Interview with Zig language creator Andrew Kelley [video]

Program Sketching with Live Bidirectional Evaluation

Approximate Results May Vary

Liquid information flow control [pdf]

Integrating User-Centered Methods into Programming Language Design

Please read the paper before you comment

Hedy: A Gradual Language for Programming Education

Writing a Test Case Generator for a Programming Language

Approximate Results May Vary

A Simple Scheme Compiler (1997)

Publish or Vanish

Fractal Tasks and the Journey Through the Forest of the Infinite

Fractal Tasks and the Journey Through the Forest of the Infinite

Subtype Inference by Example: Mutability

What Is Soft Typing?

A Deep Dive into How .NET Builds and Ships

59
60
61
62
63
64
65
66
67
68