Those coming from the world of TypeScript or Java initially think of classes, interfaces, and generics when they hear “types.
Warranty : This software is provided "as is" without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. A handy guide of sorts for any computer ...
The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...
Over the last few years, I’ve been very slowly working up a short expository paper — requiring no knowledge of categories — on set theory done categorically. It’s now progressed to the stage where I’d ...
Dremel is a scalable, interactive ad hoc query system for analysis of read-only nested data. By combining multilevel execution trees and columnar data layout, it is capable of running aggregation ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results