John C. Reynolds - Publications
Affiliations: | Physics | Harvard University, Cambridge, MA, United States |
Year | Citation | Score | |||
---|---|---|---|---|---|
2008 | Torp-Smith N, Birkedal L, Reynolds JC. Local reasoning about a copying garbage collector Acm Transactions On Programming Languages and Systems. 30: 24-58. DOI: 10.1145/1377492.1377499 | 0.304 | |||
1970 | Reynolds JC. GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept Communications of the Acm. 13: 308-319. DOI: 10.1145/362349.362364 | 0.311 | |||
Show low-probability matches. |