Program Typing

A weekly podcast with Cliff Click talking about all things to do with programming, programmers and computer performance.

This is a short talk on typing in programming languages, and how it might be improved and a progress report on automatically inferring e.g. recursive types in

Leave a Reply

Your email address will not be published. Required fields are marked *