Dave's Homepage whileydave.com

Simplification vs Minimisation of Types in Whiley

whileydave.com·768w

A Subtyping Gotcha

whileydave.com·768w

Parallel Sum in Whiley

whileydave.com·772w

A Semantic Interpretation of Types in Whiley

whileydave.com·773w

Implicit Coercions in Whiley

whileydave.com·774w

Compile-time Verification, It's Not Just for Type Safety Any More

whileydave.com·775w

Regular Tree Automata

whileydave.com·776w

Bits, Bytes and More Ambiguous Syntax

whileydave.com·776w

Version 0.2

whileydave.com·777w

Disambiguating Ambiguous Syntax?

whileydave.com·777w

On the Duality of Types: the Ideals versus the Reals

whileydave.com·778w

Design by Contract is Most Requested Feature?

whileydave.com·779w

Language Complexity?

whileydave.com·779w

What a Racket!

whileydave.com·781w

JavaScript Playground

whileydave.com·782w

Actor Syntax in Whiley

whileydave.com·783w

Got Any Quotes from Coders At Work?

whileydave.com·786w

One Thing I Really Hate About the JVM

whileydave.com·788w

Actors on the JVM

whileydave.com·791w

Implementing Structural Types

whileydave.com·793w

Log in to enable infinite scrolling