Statistics
Publications
54
Citations
1.9K
H-Index
27
Active since
1966
Affiliations
Robert L. Constable is an author at Cornell University specializing in computer science, computing, and formal methods.
Publications per year
1966–2024
54
54
Joseph L. Bates, Robert L. Constable · ACM Transactions on Programming Languages and Systems · 1985 · 185 citations
Building reliable, high-performance communication systems from components
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse et al. · 1999 · 113 citations · Full text
Innovations in computational type theory using Nuprl
Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · Journal of Applied Logic · 2005 · 91 citations
On Classes of Program Schemata
Robert L. Constable, David Gries · SIAM Journal on Computing · 1972 · 84 citations
1–5 of 54