Browse by Tags

All Tags » Type theory (RSS)
Introduction Side-effects don’t fit together very well with functional-style delayed computation, as observed in LINQ. Having such constructs embedded in an otherwise eagerly evaluated imperative language like C# can cause quite some confusion from time...
A while back I posted Type Theory Essentials in Pictures – Part 1 – Quiz , a series of non-annotated pictures representing concepts from type theory. Though the first part was intended to be simple, I got some feedback that people were puzzled about it...
Posted by bart | 2 comment(s)
Filed under:
A few colleagues hinted kindly my post on Type Theory Essentials in Pictures – Part 1 – Quiz might be a little to subtle or non-obvious despite the verbal hints in the surrounding text. So I decided to give away the first couple of pictures (including...
Posted by bart | 1 comment(s)
Filed under:
I'm currently in the middle of preparing my talks for a trip to Europe the first two weeks of March (I’ll post a conference/session list later this week). One thing I love about speaking to (technical) audiences is to bring rather theoretical but...
Posted by bart | 8 comment(s)
Filed under:
More Posts