Dave's Homepage whileydave.com

Freakonomics

whileydave.com·795w

Minimising Recursive Data Types

whileydave.com·796w

A Problem with Structural Subtyping and Recusive Types

whileydave.com·796w

What Motivates Us?

whileydave.com·797w

Version 0.9.14

whileydave.com·798w

The Case Against Structural Subtyping ... ?

whileydave.com·799w

One Approach to Efficient Structural Subtyping

whileydave.com·801w

Integrating the Actor Model into the Whiley Programming Language

whileydave.com·803w

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM

whileydave.com·803w

JPure: a Modular Purity System for Java

whileydave.com·803w

Formalisation and Implementation of an Algorithm for Bytecode Verification of @NonNull Types

whileydave.com·803w

OwnKit: Ownership Inference for Java

whileydave.com·803w

Modular Purity Analysis for Java

whileydave.com·805w

Why not use Structural Subtyping?

whileydave.com·805w

The Future of Programming Languages

whileydave.com·806w

Where Good Ideas Come From

whileydave.com·807w

A Problem on Typing vs Verification

whileydave.com·810w

More on Flow-Sensitive Typing

whileydave.com·810w

The Design of Design

whileydave.com·812w

Implementing Actors on the JVM

whileydave.com·812w

Log in to enable infinite scrolling