phdthesis
phdthesis copied to clipboard
JeffBezanson
phd thesis document source
https://github.com/JeffBezanson/phdthesis/blob/def06095b6d211329974e8919bb5519c1b904a7d/chap1.tex#L309 I think as stated, the third reason needs some extra steps to fit naturally into "why dynamic typing" and that it contains two separate things, which is that 1....
@ArchRobison has just posted a [writeup and code](https://software.intel.com/en-us/articles/computing-delacorte-numbers-with-julia) for his prizewinning entry in the recent Delacorte numbers competition. I think this would make a very nice case study of how...
You address this with your Animal example, but don't explicitly call it the "binary method problem" which is oft referenced in the literature (you include one of the Castagna papers...
I was a bit surprised that LLVM was not referenced at all in the thesis. Surely it had a large impact (in both its capabilities and limitations) in constraining the...
Last sentence of Section 3.2.1 needs further exposition. In particular, what kinds of lattices obey the definitions given and what don't? Here is an example of a lattice whose join...
As all kids point out, what good is a whole book without pictures?
... is in complex arithmetic. Should `Complex(Inf, 0.0) == Complex(Inf, Inf)`? Sometimes, people want the ordinary complex plane where there are many infinities in all directions away from zero. The...
Here is good thesis fodder, summarizing two separate discussions with @alanedelman yesterday and @stevengj today. - Recursion over type parameters can be used for recursion coarsening. - Recursion is a...