☰

John C. Reynolds - Publications

Affiliations: 
Physics Harvard University, Cambridge, MA, United States 
Tree Info Similar researchers PubMed Report error

2 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

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.303
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.31
Show low-probability matches.