Tag Archives: driven

Submit to the Workshop on Type-Driven Development!

This year I am the co-chair (with Sam Lindley) of the Workshop on Type-Driven Development, affectionately known as TyDe1. The workshop will be co-located with ICFP in Oxford, and is devoted to the use of “static type information…used effectively in … Continue reading

Posted in meta | Tagged , , , | 3 Comments