User loginNavigation |
[Redux] A Syntactic Approach to Type Soundness (1992)A Syntactic Approach to Type Soundness (1992) Andrew K. Wright, Matthias Felleisen.
This paper does a good job of explaining the foundations of type soundness. It has been previously discussed on the forums. I'm posting it here since I'm just discovering it for the first time, and I think it would be useful for other neophytes. I am using the "[Redux]" tag to denote front page posts which revisit older papers, tutorials, or overview paper directed at less experienced members of LtU. Feel free to send me any suggestions for the series at cdiggins @ gmail.com. |
Browse archives
Active forum topics |
Recent comments
17 weeks 9 hours ago
17 weeks 13 hours ago
17 weeks 13 hours ago
39 weeks 1 day ago
43 weeks 3 days ago
45 weeks 21 hours ago
45 weeks 21 hours ago
47 weeks 5 days ago
1 year 2 days ago
1 year 2 days ago