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
2 weeks 6 days ago
43 weeks 21 hours ago
43 weeks 1 day ago
43 weeks 1 day ago
1 year 13 weeks ago
1 year 17 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago
1 year 21 weeks ago
1 year 26 weeks ago