Dave's Homepage whileydave.com

Indentation Syntax in Whiley

whileydave.com·813w

Function Pointer Syntax for Whiley

whileydave.com·814w

Field Resolution in Whiley

whileydave.com·815w

Better Namespaces

whileydave.com·815w

Version 0.1

whileydave.com·816w

Thoughts on Loop Invariants

whileydave.com·816w

On Flow-Sensitive Types in Whiley

whileydave.com·817w

Java Pathfinder

whileydave.com·817w

Normalising Recursive Data Types

whileydave.com·818w

James Bach on Software Testing

whileydave.com·819w

Beautiful Code ... ?

whileydave.com·822w

The X10 Programming Language

whileydave.com·824w

Infamous Software Failures in New Zealand

whileydave.com·824w

Thinking about Recursive Constrained Types in Whiley

whileydave.com·826w

Thinking about Pre- and Post-Conditions in Whiley

whileydave.com·826w

Language Designers ... who wait?

whileydave.com·826w

On Object-Oriented Programming

whileydave.com·827w

Finding Bugs in the Real World

whileydave.com·828w

Kiwi Language Creator Acknowledged!

whileydave.com·828w

Example: Sum Over a Positive List

whileydave.com·829w

Log in to enable infinite scrolling