Values, Types and Foundations
I took the opportunity to step out for the first time in quite a while and present Values, Types and Foundations at the Object Management Group’s (OMG) September Technical Meeting. Many thanks to my...
View ArticleSample Terms for Practical Type Inference for Arbitrary Rank Types
I’ve been heads down over the past few months. I decided to develop sample terms for the paper Practical Type Inference for Arbitrary Rank Types, so I can build some intuition on this topic. I describe...
View Article
More Pages to Explore .....