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
5 days 36 min ago
40 weeks 6 days ago
40 weeks 6 days ago
40 weeks 6 days ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago