Gradual typing has emerged as a compelling approach to reconcile the strengths of static and dynamic type systems. By permitting programmers to incrementally annotate code, it enables early detection ...

I've done only basic stuff with excel before, so maybe somebody can help me out here. I'd like to use a spreadsheet to keep track of some data, and I'd like to have excel be able to generate something ...