New answers tagged pl.programming-languages
3
votes
Accepted
Is there a relation between the techniques used by Dan Willard, versus those of Brown and Palsberg, to exclude diagonalization?
I'll defer if someone more knowledgeable on the subject arrives, but I think the answer is that they are not the same.
Willard's work is about building theories that avoid the typical formulation of ...
- 611
Top 50 recent answers are included